PS

Monad

Monad

Monadとは以下から成る代数的構造  (T, \eta, \mu) である:

  1. functor  T : \mathcal{C} \rightarrow \mathcal{C}
  2. natural transformation  \eta : 1 _ {\mathcal{C}} \rightarrow T  (unit)
  3. natural transformation  \mu : T \circ T \rightarrow T (multiplication)

これらは以下の要件を満たさなくてはならない。

  1.  \mu \circ T \mu = \mu \circ \mu T (associativity)
  2.  \mu \circ \eta T = \mu \circ T \eta = 1 _ T (unitality)

参考文献