Polynomial Functors @ Topos (Thursday)

00:00:00 Thorsten Altenkirch: Containers & Inductive Types
01:02:13 Kristina Sojakova: Initial Algebras in Homotopy Type Theory
02:01:19 Michael Batanin: Grothendieck Homotopy Theory and Polynomial Monads
03:00:43 Richard Garner: Polynomials in Categories with Pullbacks

[davidspivak]

Altenkirch (0:00)
Sojakova (1:02:13)
Batanin (2:01:19)
Garner (3:00:43)

[MorganEarlJones]

saw the title and assumed it was going to be Edward Kmett, but Thorsten is also cool and good