Free monads in bicategories of polynomials

Mark Weber – 15 February 2012, 22 February 2012, 29 February 2012

By a result of Fiore, Gambino and Kock, the bicategory Poly_E of polynomials defined over a category E admits the construction of free monads when E is locally cartesian closed, has disjoint sums and admits W-types. In these talks I'll establish this property for Poly_E when E is finitely accessible and extensive.