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

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

六角(ヘキサゴン)等式

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


右ローテーション、Cを移動

A, BC
-----[α]
AB, C
-----[σ]
C, AB
-----[α]
CA, B

A, BC
-----[σ]
A, CB
-----[α]
AC, B
-----[σ]
CA, B


左ローテーション、Aを移動

AB, C
-----[α]
A, BC
-----[σ]
BC, A
-----[α]
B, CA

AB, C
-----[σ]
BA, C
-----[α]
B, AC
-----[σ]
B, CA