Use this identifier to quote or link this document: http://hdl.handle.net/2072/96591

Monads in double categories
Fiore, Thomas M.; Gambino, Nicola; Kock, Joachim
Centre de Recerca Matemàtica
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and dene what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.
2010-06
510 - Consideracions fonamentals i generals de les matemàtiques
Categories (Matemàtica)
Demostració, Teoria de la
Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i el centre i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús (http://creativecommons.org/licenses/by-nc-nd/2.5/es/)
Preprint
Centre de Recerca Matemàtica
Prepublicacions del Centre de Recerca Matemàtica;951
         

Full text files in this document

Files Size Format
Pr951.pdf 295.9 KB PDF

Show full item record

 

Coordination

 

Supporters