Free monads in double categories

Add to your list(s) Download to your calendar using vCal

• Nicola Gambino, University of Palermo
• Tuesday 02 November 2010, 14:15-15:15
• MR3, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Nathan Bowler.

The development of the formal theory of monads, begun by Street and later continued by Street and Lack, shows that large parts of the theory of monads can be developed within an arbitrary 2-category rather than in the 2-category of small categories, functors and natural transformations. I will describe some joint work with Tom Fiore and Joachim Kock in which we extend the basic concepts of the formal theory of monads from the setting of 2-categories to that of double categories. The motivation to do so derives from the desire to understand better the universal properties of the free category on a graph and of the free monad on a polynomial endofunctor. Our main result 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. After explaining this result, I will illustrate how it can be applied to obtain double adjunctions that extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• MR3, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.