ETBダイアグラムの8節に、クロスの公理がある。最後の公理は、クロスにそって射（ボックス）をスワップできることを示す。これは非常に強力な公理だ。クロスをまとめる公式とスワップを使えば、アルチン関係式（ヤン・バクスター方程式）は出る。

a×0 = 0 という法則を与える同型はzerorってことか？ 零性同型？

The Handbookでは、プロ関手（profunctor; http://en.wikipedia.org/wiki/Profunctor）をdistributorと呼んでいる。プロ関手をbimoduleとかmoduleとか呼ぶこともあるそうだが、それはひどすぎるだろう。bimoduleは双加群＝両側加群の意味で使うべきかと思う→…

本編に書いた整数の加減乗除のなかにもひそんでいるヤン・バクスター方程式 - 檜山正幸のキマイラ飼育記 (はてなBlog)、ほんとにできないよ。時間を使ってもしょうがないから早々とあきらめているのだけど。使えることって： (x/N)N + x%N = x (x*N)%N = 0 (…

半環圏の一貫性まで含めた完全な定義はよくわからん。が、事例はある。自然数半環としてのNを対象として、標準順序から圏だとみなすと、半環圏。集合圏直和と直積で半環構造を入れる。零対象である空集合は、0×x = 0 を厳密に満たすから強零対象（strong zero…