奇妙だと思っていたのは僕の誤った印象だったようです。 役に立ちそうだが奇妙な圏 続報・役に立ちそうだが奇妙な圏： コレ、使えそう 基点付き集合（pinted set）を対象として、基点を基点に移す全域（total）な関係を射とする圏TotPtRelは、どうやら、良い…