Internal algebra classifiers and their applications
- đ¤ Speaker: Michael Batanin, Macquarie University, Australia
- đ Date & Time: Tuesday 23 April 2013, 14:15 - 15:15
- đ Venue: MR15, Centre for Mathematical Sciences
Abstract
Given a map between two 2-monads S and T one can define a notion of internal S-algebra inside a T-algebra. For example, the category of monoids in a symmetric monoidal category is the category of internal algebras of the free monoidal category monad inside an algebra of the free symmetric monoidal category monad. The category of internal algebras form a 2-functor which is representable under some conditions on S and T. The representing object is called internal S-algebra classifier inside T-algebras. These internal algebra classifiers have remarkable properties which often allow to compute explicitly left adjoint functors between categories of algebras. This technique has numerous applications ranging from the construction of free monads in double categories and the explicit calculation of various envelopes of operads and PRO Ps to the construction of transferred model structures.
Series This talk is part of the Category Theory Seminar series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Category Theory Seminar
- CMS Events
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- DPMMS Pure Maths Seminar
- Hanchen DaDaDash
- Interested Talks
- MR15, Centre for Mathematical Sciences
- ndb35's list
- School of Physical Sciences
- yk373's list
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Michael Batanin, Macquarie University, Australia
Tuesday 23 April 2013, 14:15-15:15