endo functor T と natural transformation η: Id->T, μ:T^2->T の組 (T,η,μ) が 以下の条件を満たすとき、Monadと呼ぶ。
(FIXME)
MonadからKleisli Category?を定義することが出来る。
Keyword(s):
References: