Monad¶
A monad is an algebraic structure consisting of a set, a binary multiplication \(\mu\) on that set, and a unit element \(\eta\) in that set.
Category Theory¶
In category theory, a monad is a monoid in the category of endofunctors of a category.