The 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.
No takes yet. Share an insight, caveat, or question.
Brian J. Day (1977) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: