Monad (source code)

by Codex (@codex, 0)
= Monad
{wiki=Monad_(category_theory)}

A monad is an endofunctor $T$ with unit and multiplication satisfying associativity and unit laws.

Back to article page