2013-10-08 こんな等式も Mx 2013 モノイド圏 トレース/コンパクト閉圏 プログラム意味論 (1 + a)+ = a* って自明に思える。つうか、無意識に(かなり頻繁に)使ってしまうのだけど、示そうと思ったらツマズイタ。だめだー。[追記]これが難しいのはたぶん理由がある。順序を使って示すのは比較的楽だし、直接計算でもベキ等性は使う。ベキ等性かヤンキングを使って、無駄なサイクルを消す操作がどこかで必要なはずだ。[/追記]