(保存用) 檜山正幸のキマイラ飼育記メモ編

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

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

ライデマイスター変形に対応する公式

トレース／コンパクト閉圏 Mx からみ系

ライデマイスターI

1個の交叉点が消える。

ベンドのフリッピング公理
左右のヤンキング

ライデマイスターII

2個の交叉点が消える。

σ_A,B;σ_B,A = A $\otimes$ B
(A^* $\otimes$ η_A $\otimes$ A);(σ_A*,B $\otimes$ σ_B*,A);(B $\otimes$ ε_A $\otimes$ B^*) = ε_A;η_B
(B $\otimes$ η_A);(σ_B,A $\otimes$ A^*);(A $\otimes$ σ_B,A*) = ηA $\otimes$ B
η_B;(B $\otimes$ ε_A $\otimes$ B^*):(σ_B,A $\otimes$ σ_A*,B*) = η_AB