「だいたい圏になる： 概圏」で、概圏〈almost category〉という概念を提案しました。概圏が通常の圏〈局所小圏〉と違う点は： [ホムセットのサイズ] ホムセットが小さくなくてもよい。 [法則の緩さ〈ゆるさ〉] 法則〈公理〉が等式的でなくてもよい。 「概圏…