2 ms·
What don't you get about a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set
by moron4hire 4y ago
What don't you get about a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.