Category Theory
Zulip Server
Archive

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.

Stream: event: Polynomial Functors @ Topos

Topics:

• stream events (4 messages, latest: Oct 31 2023 at 11:21)
• general information (23 messages, latest: Jan 26 2022 at 19:59)
• Thorsten Altenkirch: "Containers and inductive types" (32 messages, latest: Mar 24 2021 at 15:41)
• Steve Awodey: "Polynomial functors and natural models [...]" (2 messages, latest: Mar 19 2021 at 20:04)
• Fredrik Nordvall Forsberg: "Quantitative polynomial functor" (2 messages, latest: Mar 19 2021 at 20:03)
• Rune Haugseng: "Polynomial functors and Segal conditions" (2 messages, latest: Mar 19 2021 at 20:03)
• Marcelo Fiore: "Stable species of structures" (2 messages, latest: Mar 19 2021 at 20:02)
• Tarmo Uustalu: "Polynomial comonads" (7 messages, latest: Mar 18 2021 at 23:56)
• Richard Garner: "Polynomials in categories with pullbacks" 3 (1 message, latest: Mar 18 2021 at 19:47)
• Michael Batanin: "Grothendieck homotopy theory and [...]" (1 message, latest: Mar 18 2021 at 19:47)
• Kristina Sojakova: "Initial algebras in homotopy type theor" (1 message, latest: Mar 18 2021 at 19:46)
• Bryce Clarke: "Cofunctors, lenses, and split opfibrations" (10 messages, latest: Mar 17 2021 at 23:22)
• Helle Hvid Hansen: "Coalgebras and their modal logics" 2 (3 messages, latest: Mar 17 2021 at 21:06)
• Richard Garner: "Polynomials in categories with pullbacks" 2 (2 messages, latest: Mar 17 2021 at 19:22)
• David Spivak: "The polynomial abacus" 2 (2 messages, latest: Mar 17 2021 at 19:21)
• Bart Jacobs: "Lifting of polynomial functors for [...]" (2 messages, latest: Mar 17 2021 at 19:20)
• Helle Hvid Hansen: "Coalgebras and their modal logics" 1 (3 messages, latest: Mar 16 2021 at 21:01)
• David Spivak: "The polynomial abacus" 1 (11 messages, latest: Mar 16 2021 at 19:35)
• Ross Street: "Polynomials as spans" (2 messages, latest: Mar 16 2021 at 18:33)
• André Joyal: "Three kinds of polynomial functors" (4 messages, latest: Mar 16 2021 at 11:27)
• David Gepner: "Analytic monads and ∞-operads" (2 messages, latest: Mar 15 2021 at 22:23)
• Richard Garner: "Polynomials in categories with pullbacks" 1 (2 messages, latest: Mar 15 2021 at 21:58)