Mathematics – Category Theory
Scientific paper
2010-06-04
Mathematics
Category Theory
30 pages; v2: accepted for publication in the Journal of Pure and Applied Algebra; added hypothesis in Theorem 3.7 that source
Scientific paper
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 define 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.
Fiore Thomas M.
Gambino Nicola
Kock Joachim
No associations
LandOfFree
Monads in Double Categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Monads in Double Categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Monads in Double Categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-722651