Overview
Learn about polynomial functors in this first lecture of a nine-part series delivered by David Spivak at the Topos Institute's Poly at Work workshop in February 2024. Explore fundamental concepts starting with distributive law, followed by an in-depth examination of the universal properties of Sigma and Pi. Progress through the exploration of Fun(Set, Set) before concluding with a comprehensive definition of polynomial functors. Master these essential mathematical concepts through clear explanations and detailed discussions spanning 73 minutes of advanced mathematical instruction.
Syllabus
Distributive law
Universal properties of Sigma and Pi
FunSet, Set
Definition of polynomial functors
Taught by
Topos Institute