リボン圏の定義
対称半リボン圏と擬内積ベクトル空間の圏 - 檜山正幸のキマイラ飼育記 メモ編
nLabの説明は矢鱈に短いが、リンクをたどれば納得できる。
- ribbon category = tortile category
- ribbon category = balanced category かと思ったら、全然違った: https://ncatlab.org/nlab/show/balanced+category
- https://ncatlab.org/nlab/show/twist によると、twist = balance = balancing だから、ribbon category = blanced braided category は成立しそうだが、混乱しそうだからバランスは使わないほうがよいだろう。
- ribbon category = braided pivotal category
- ribbon category = balanced (twisted) autonomous category
- braided monoidal category = monoidal category + braiding
- pivotal category = autonomous category + monoidal natural isomorphism A→A**
- autonomous category = rigid monoidal category
- sovereign category = pivotal category
- autonomous category: all of its objects are dualisable on both the left and the right.
- ribbon categoryはtwistを持つ。https://ncatlab.org/nlab/show/twist
- twistをθとして、θ* = θ。
同義語が多い、もう一度書くと。
- ribbon category = tortile category = {blanced,twisted} braided monoidal category
- autonomous category = rigid monoidal category
- sovereign category = pivotal category
nLabにまとめがある。