計算手順をざっと書いておこう。まず、ベックの法則（全部で4つ）のうちの2つ Gδ|τF|Fτ = τ|δG （ベックの法則・余乗法スワップ） Gτ|τG|Fμ = μF|τ （ベックの法則・乗法スワップ） 成分表示なら： x.G.δ ; x.τ.F ; x.F.τ = x.τ ; x.δ.G （ベックの法則・余…

ビンゴッ！！ やったーっ、ひさびさの大当たり。ベックの法則と簡単な補題を3つ使って結合律を証明できた。分かってしまえば、単純計算。いやー、DOTNは強力だ。絵算とDOTNがなければ、とても計算できかったろう、僕には。念のためもう一度確認してから書く…

ムフフフ、今回の山勘は当たりかもなー。両クライスリ圏の単位律は証明できた。まず、両クライスリ圏の恒等 x.ι（恒等もDOTNで書く）を次のように定義する。 x.ι := x.(ε|η) = x.ε ; x.η 図式順両クライスリ結合を f # g として、x.ι # f = f を示せばいい。…