http://www.mta.ca/~gcruttwell/publications/thesis4.pdf p.27に、[0, ∞]を圏とみなした場合のコエンドの公式が出ている。 L([x]) = ∧{φ(x+h) : h∈H} これはマスロフ畳み込みで、普通の世界だとこれのベキ等版がマスロフ畳み込み。だが、なんでここで出てく…

モノイドと加群 - 檜山正幸のキマイラ飼育記 メモ編の「忘却関手が記憶している！」というキャッチフレーズは面白い。U:A→Cが忘却関手のとき、Aに含まれる情報の一部はUの像である圏 U(A)⊆C では落ちている。その落ち方、忘却のメカニズムの情報・知識はUの…

Cを舞台となる圏とする。Cは対称モノイド圏、対称じゃないと左右の交換が出来ない。ブレイド圏でもいいが、左右の交換が面倒になる。さらに、Cは閉圏で、モノイド完備だとする。モノイド完備とは、圏として完備で、特定対象によるモノイド積関手（左掛け算、…