Cat Catの部分圏； モノイド圏の圏、対称モノイド圏の圏など 空間、連続写像、写像のホモトピーの圏 いろいろなコボルディズム圏 空間の点、弧、弧のホモトピーの圏 荷電境界付き有向グラフの圏 埋め込まれた境界付き有向グラフの圏 翻訳系の圏 両側加群の圏…

先日： こういう循環は、魅力的だが不気味だ。怖い。 圏のモノイド（対象）の定義には、外の圏がモノイド圏である必要があるが、モノイド圏の結合律は： (C×C)×C -[(-*-)×C]→C×C -[-*-]→C ====================================== 結合律 C×(C×C) -[C×(-*-)]…