テンソル圏に関する補足

昨日、「モノイド圏をテンソル圏と呼ぶのはよくない」と言ったが、V-豊饒の場合を考えると、結局モノイド圏とテンソル圏の区別はなくなってしまう。なんだよ、やっぱり同意語か？

それと、堅い対称テンソル圏の共役（conjugate）の定義を引き写しておく； Xの左双対をX^*としして、右ベントε:X^*×X→I, 左ベントδ:I→X×X^* が、δ^* = σ_X,X*;ε （σは対称）であるとき、左双対X^*は（左）共役であると呼ぶ。共役は複素共役に関係していることが多いようだ。