Tensors, Monads And Actions

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.


Published in:
Theory And Applications Of Categories, 28, 403-433
Year:
2013
Publisher:
Sackville Nb, Mount Allison University
ISSN:
1201-561X
Keywords:
Laboratories:




 Record created 2014-06-02, last modified 2018-09-13

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)