ヘビの等式とたらい回し定理
コンパクト閉圏を特徴付けるアノ公理。僕が最初に習ったとき(白旗さんの論理の論文だろうか?)は三角等式と呼ばれていたが、最近の若い人はヘビの関係式(snake relation)とか呼ぶらしい。僕もヘビの等式とかヘビの公理とか呼ぶことにする。
Int構成(GoI構成)でヘビの公式を確認すると、やたらにたらい回しした挙句に何もしないという言語道断なお役所みたいなワイヤリングが登場する。ここらを証明した結果は「たらい回し定理」と言ったらよさそう。
たらい回しの凄まじさは絵に描くとよく分かる。目で追えないくらいのたらい回しだ。