"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…

2024-03-12 a monad is just a monoid in the category of endofunctors, what's the problem?, 𝑐→𝑐⊗𝑐, F(a)⊗F(b)→F(a⊗b), meme

“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.”