順序集合のイデアル完備化はモナド。つうか、完備化ってたいていベキ等モナド。

僕はメイヤー先生のファン http://d.hatena.ne.jp/m-hiyama/20060403/1144025475 http://d.hatena.ne.jp/m-hiyama/20060313/1142209318 それはいいとして、メイヤー流のクエリー／コマンド・スタイルでプログラムを書いても何も不便はない。クエリーでもコマ…

http://golem.ph.utexas.edu/category/2009/03/firstorder_logical_duality.html http://folk.uio.no/jonf/HenrikFhrssell_LogicalDuality.pdf