シーケントで書ける圏上のオペレータ

列挙する。思いつけば書き足す。

1. 恒等（id）
2. 結合（composition）狭義のカット
3. モノイド積
4. 一般のカット＝恒等と結合とモノイド積の組み合わせ
5. 結合律の構造射（平等バージョン）
6. 単位律の構造射（平等バージョン）
7. 始対象、終対象
8. カリー化、アンカリー化
9. 双対（スター関手）
10. 随伴（ダガー関手）
11. トレース
12. 増、減、換

「増、減、換」は難しい。対角を持つ対称圏なら：

• 増 対角により右側はできる。左増はできない。
• 減 対角により左側はできる。右減はできない。
• 換 対称で左右ともできる。

使えるルールと圏の概念との対応。

1. 単なる圏 -- 恒等と結合、カンマも使えない！
2. モノイド圏 -- モノイド積、結合律、単位律（1の自由な増減）
3. 対称モノイド圏 -- 交換
4. 点付き圏など -- 始対象、終対象
5. 閉圏 -- カリー化、アンカリー化
6. スター圏 -- スター （当たり前だ）
7. ダガー圏 -- ダガー （当たり前だ）
8. トレース付き圏 -- トレース （当たり前だ）