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.


Publié dans:
Theory And Applications Of Categories, 28, 403-433
Année
2013
Publisher:
Sackville Nb, Mount Allison University
ISSN:
1201-561X
Mots-clefs:
Laboratoires:




 Notice créée le 2014-06-02, modifiée le 2019-03-16

n/a:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)