ちょっと前にできたと思ったことが，議論が通っていないと指摘されて，その後考え直し中……．できることとできないことが二分されて，おのおのの間でいろいろな同値関係が作られるというよくある状況になっている……．ある射の全射性が知りたくて，topに全射なことを示そうとして失敗した．いや全射なことは示せたのだけど，どちらもtopもゼロだった．topがあるとは限らない圏だった．