>>270
そのときにも、｢まずモナドありき。なんとかモナドを応用したい。｣
という方向の発想ではないかい？線型論理なんかも同じようだが。
それが仕様記述の要求全体のどの部分をどの程度解決するのかという
見定めはあるんかな？

>>268
圏論そのものの議論がしたいということか？それはスマンな。
ただ、今圏論に対する関心は、むしろその応用の方にあるんじゃ
ないかとも思うんだが。