monad

monoid in an endofunctor category

Катэгорыі: