You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Mar 17 2021 at 19:21):Wednesday, 23:00 UTC
Tim Hosgood (Mar 17 2021 at 19:22):Abstract:
This series of talks will describe the theory of polynomials in a category with pullbacks, as developed by inter alia Abbott, Altenkirch and Ghani; Gambino and Hyland; Gambino and Kock; and Weber. In particular, we describe how polynomials form themselves into a bicategory, and explain the universal properties of this bicategory, as described by Tamara von Glehn and by Charles Walker. If time permits, we sketch the link to Hyland's "theories of algebraic theories".