dc.contributor
Centre de Recerca Matemàtica
dc.contributor.author
Fiore, Thomas M.
dc.contributor.author
Gambino, Nicola
dc.contributor.author
Kock, Joachim
dc.date.accessioned
2010-11-22T13:00:02Z
dc.date.accessioned
2024-09-19T13:33:15Z
dc.date.available
2010-11-22T13:00:02Z
dc.date.available
2024-09-19T13:33:15Z
dc.identifier.uri
http://hdl.handle.net/2072/96591
dc.description.abstract
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.
cat
dc.format.extent
295932 bytes
dc.format.mimetype
application/pdf
dc.publisher
Centre de Recerca Matemàtica
ca
dc.relation.ispartofseries
Prepublicacions del Centre de Recerca Matemàtica;951
dc.rights
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/)
cat
dc.subject.other
Categories (Matemàtica)
ca
dc.subject.other
Demostració, Teoria de la
ca
dc.title
Monads in double categories
ca
dc.type
info:eu-repo/semantics/preprint
ca
