Moore Category Research Articles

Note on monoidal monads

AbstractThe representation theory of categories is used to embed each promonoidal monad in a monoidal biclosed monad. The existence of a promonoidal structure on the ordinary Eilenberg- Moore category generated by a promonoidal monad is examined. Several results by previous authors (notably A. Kock and F. E. J. Linton) are reproved and extended.