Loading...
research article
Tensors, Monads And Actions
Seal, Gavin J.
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.
Loading...
Name
xMonadicActions-Jun2013.pdf
Access type
openaccess
Size
410.13 KB
Format
Adobe PDF
Checksum (MD5)
f21c7e287387724b28ad1b2faa25d3d4