このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

初歩的モノイド圏

初歩的モノイド圏(rudimentary monoidal category)とは、

  1. 対象は自然数
  2. モノイド積の対象部分は足し算

である圏。

その例:

  1. 自然数の順序圏
  2. 置換圏(対称圏)
  3. 組み紐圏、、トレース付きだとサークル(ループ)を認める。
  4. テンパリー/リーブ圏、、トレース付きも
  5. 行列圏
  6. 単体圏
  7. 粒子の生成圏(自然数の順序圏と同じ)
  8. 粒子の消滅圏(自然数の順序圏の逆圏)
  9. 穴あき曲面の圏
  10. 単純平面タングルの圏、シリンダーで描いてもいい
  11. 一般の絡み紐の圏、トレース付き
  12. 結び目の圏(絡み紐の圏の0-0部分)
  13. 絡み目の圏(絡み紐の圏の1-1部分)
  14. なんらかのローヴェル理論
  15. 単体圏
  16. 自然数上のデカルト圏(作る)

もっとあるかも。見つかったら追加。