"When people say that a monad is just a monoid in the category of endofunctors over a given category they mean that a monad is a…
“When people say that a monad is just a monoid in the category of endofunctors over a given category they mean that a monad is a monoid object in the monoidal category of the endofunctors.”