000199333 001__ 199333
000199333 005__ 20190316235921.0
000199333 022__ $$a1201-561X
000199333 02470 $$2ISI$$a000330224400003
000199333 037__ $$aARTICLE
000199333 245__ $$aTensors, Monads And Actions
000199333 269__ $$a2013
000199333 260__ $$bMount Allison University$$c2013$$aSackville Nb
000199333 300__ $$a31
000199333 336__ $$aJournal Articles
000199333 520__ $$aWe 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.
000199333 6531_ $$amonoidal category
000199333 6531_ $$amonad
000199333 6531_ $$aEilenberg-Moore category
000199333 6531_ $$abimorphism
000199333 6531_ $$aaction
000199333 700__ $$aSeal, Gavin J.
000199333 773__ $$j28$$tTheory And Applications Of Categories$$q403-433
000199333 8564_ $$uhttps://infoscience.epfl.ch/record/199333/files/xMonadicActions-Jun2013.pdf$$zn/a$$s419977$$yn/a
000199333 909C0 $$xU10968$$0252139$$pUPHESS
000199333 909CO $$qGLOBAL_SET$$pSV$$ooai:infoscience.tind.io:199333$$particle
000199333 917Z8 $$x132147
000199333 937__ $$aEPFL-ARTICLE-199333
000199333 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000199333 980__ $$aARTICLE