僕が興味を持っている圏は、かなりリッチだな。だいたい、次のような構造を持つようだ。 モノイド構造： 対象にモノイド積があり、射にも積が定義できる。 二構造： homがcatになっている、hom-cat。2セルの縦／横結合がある。ときに三構造を持つケースも。 …