対称、または組紐が作用する圏で、ブレイディング（クロッシング、トランスポジション）と結合性（associativity）との一貫性は六角等式で示せるが、これは、ABC→CAB、ABC→BCA という左右のローテーションに関する手順独立性だとみなせる。 右ローテーション…

古典テンソル計算って、かなり綱渡りだなー。アインシュタイン規約、添字の上げ下げ、縮約は、トリッキーだがよく出来たマシナリーだなー、と感心する。が、合理化は面倒。昔、トレース付き圏の計算をそれと知らずにやっていたが、変数の扱いで散々に混乱し…