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

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

コレは難しい！

モノイド圏 トレース／コンパクト閉圏

λI = ρIだが： http://arxiv.org/abs/math/0004160を経由して、http://www.mathematik.uni-muenchen.de/~pareigis/pa_schft.htmlからアクセスできる次を発見。

この論説のP.79に λI = ρI の証明があった。が、これ難しいじゃんかよ！！