Tensors, monads and actions
Category Theory
2013-06-26 v4
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.
Cite
@article{arxiv.1205.0101,
title = {Tensors, monads and actions},
author = {Gavin J. Seal},
journal= {arXiv preprint arXiv:1205.0101},
year = {2013}
}
Comments
v4: Minor corrections; added dedication