COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

## Free monads in double categoriesAdd 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. |
## Other listsFuture of Sustainable Development in South Asia Computer Laboratory Systems Research Group Seminar CTR Seminar Series## Other talks100 Problems around Scalar Curvature Access to Medicines Centriole Duplication: from body coordination in flies to skin cell biology and cancer Ethics for the working mathematician, seminar 11: Winning with mathematics Regulatory principles in human development and evolution Active bacterial suspensions: from individual effort to team work A polyfold lab report PTPmesh: Data Center Network Latency Measurements Using PTP Immigration and Freedom Vision Journal Club: feedforward vs back in figure ground segmentation Adaptation in log-concave density estimation |