2011-07-30 コモナドの余代数 プログラム意味論 モナド 大域変数の参照をコモナドと考えると、大域変数への書き込みがこのコモナドのアイレンベルク/ムーアの意味での余代数となる。ということは、大域変数を読むだけのプログラムは余クライスリ圏に住んでいるので、余アイレンベルク/ムーア圏に埋め込めるから、書き込みをするプログラムの圏に入る? 一見なんか奇妙だ。どうやって説明するんだ?奇妙に感じるのは、クライスリ圏がアイレンベルク/ムーア圏に入っているという状況をちゃんと理解してないせいだろう。