All Questions

Let $(C,\otimes,1)$ be a symmetric monoidal category. Let $(M,\mu,\eta)$ be an internal commutative monoid object. The functor $X\mapsto M\otimes X$ has a canonical monad structure, with unit and ...