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

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

結合性自然同型

用語法

結合性自然同型（the associativity natural equivalence / natural isomorphism）は、(A×B)×C → A×(B×C) じゃなくて、A×(B×C) → (A×B)×C でした。勘違いしていた。

(A×B)×Cを正規形だと考えると、非正規形の正規化がαA,B,C:A×(B×C) → (A×B)×C って考えればいいな。λ:I×A→A、ρ:A×I→A はこれでいい。