モナドとはプログラミング言語の機能で、その機能を備えている言語（例えばHaskell）じゃないと「モナド使えない」とか、「モナドとは関係ねー」とか思っている人がいるんじゃないでしょうか。そんなことは全然ないですよ。モナドの実用的な応用事例として、…

コメント欄だと窮屈な感じなので、本文を使って応答します。bonotakeさんの自己ツッコミも参照 bonotake 2009/08/03 11:13線形代数そんなに詳しくないのですが、双対空間V^* = V→R だから、V^*で構成される圏はFdVectじゃなくて、コンマ圏 (FdVect↓R) になっ…