Tensors, monads and actions

Abstract

We 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.

v4: Minor corrections; added dedication

Cited by in corpus (3)

• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• LNL polycategories and doctrines of linear logic
• A Graded Schur Lemma and a graded-monoidal structure for induced modules over graded-commutative algebras