Seal, Gavin J.2014-06-022014-06-022014-06-022013https://infoscience.epfl.ch/handle/20.500.14299/103936WOS:000330224400003We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg-Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic over the base category C.monoidal categorymonadEilenberg-Moore categorybimorphismactiontext::journal::journal article::research article