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__ $$aSackville Nb$$bMount Allison University$$c2013
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$$q403-433$$tTheory And Applications Of Categories
000199333 8564_ $$s419977$$uhttps://infoscience.epfl.ch/record/199333/files/xMonadicActions-Jun2013.pdf$$yn/a$$zn/a
000199333 909C0 $$0252139$$pUPHESS$$xU10968
000199333 909CO $$ooai:infoscience.tind.io:199333$$pSV$$particle$$qGLOBAL_SET
000199333 917Z8 $$x132147
000199333 937__ $$aEPFL-ARTICLE-199333
000199333 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000199333 980__ $$aARTICLE