うーんと、そもそもそれが"圏"と呼ぶ前提になってるかわかりません。

5:30 AM

対象がこれで、射がこれで、合成はこう定義して、結合律と単位律が達成できれば、圏と呼ぶ権利が与えられる。みたいな。 (edited)