初歩的モノイド圏
初歩的モノイド圏(rudimentary monoidal category)とは、
- 対象は自然数
- モノイド積の対象部分は足し算
である圏。
その例:
- 自然数の順序圏
- 置換圏(対称圏)
- 組み紐圏、、トレース付きだとサークル(ループ)を認める。
- テンパリー/リーブ圏、、トレース付きも
- 行列圏
- 単体圏
- 粒子の生成圏(自然数の順序圏と同じ)
- 粒子の消滅圏(自然数の順序圏の逆圏)
- 穴あき曲面の圏
- 単純平面タングルの圏、シリンダーで描いてもいい
- 一般の絡み紐の圏、トレース付き
- 結び目の圏(絡み紐の圏の0-0部分)
- 絡み目の圏(絡み紐の圏の1-1部分)
- なんらかのローヴェル理論
- 単体圏
- 自然数上のデカルト圏(作る)
もっとあるかも。見つかったら追加。