2013-05-06 Monad 定義 Monad Monad Monadとは以下から成る代数的構造 である: functor natural transformation (unit) natural transformation (multiplication) これらは以下の要件を満たさなくてはならない。 (associativity) (unitality) 参考文献 Monad (category theory) - Wikipedia, the free encyclopedia Maths - Category Theory Monad - Martin Baker