先週末のエントリー「圏のクリーネスター構成 -- エフイチに触発されて」において、次の図を出しました。これは、ヤン・バクスター方程式（Yang-Baxter equation）です。ライデマイスター移動III（Reidemeister move III）ともいいます。もともとはブレイド…