超クレイジー計算
僕好みのネタを見つけた。「キチガイ」が差別用語にされているようだからクレイジーを使うが、超キチガイ計算のほうが“いい語感”だけどな。
[追記]
[/追記]
Cが、直和または直和に似たモノイド積を持つ圏だとして、そのモノイド積を自明に持ち上げて、End(C)を半環に近い構造にすることができる。掛け算は関手の結合で、足し算はCからの持ち上げ。
Fがモナド構造を持つと、1≦FとかFF≦Fが成立する感じだ。Fのクリーネ級数 1 + F + FF + FFF + を簡略化する計算とかはクレイジー計算で出来そうだ。ベックの分配法則（スワッパー）が、FG ≦ GF のような計算（書き換え）規則を与える。
このテのクレイジー計算は計算規則に対する計算を与えそうだ。
