Introduction to Polynomial Functors In Arbitrary Characteristic
Exploring Polynomial Functors In Arbitrary Characteristic reveals several interesting facts. Keller VandeBogert, University of Notre Dame Tuesday, March 25th, 2025 ...
Polynomial Functors In Arbitrary Characteristic Comprehensive Overview
Lecture 1/9 in a series on Course website: https://topos.site/poly-course Book: https://topos.site/poly-book.pdf Book suggestions document: ... 00:00 Introductions 00:10:35 André Joyal: Three Kinds of
00:00:00 Helle Hvid Hansen: Coalgebras and their Modal Logics:
Summary & Highlights for Polynomial Functors In Arbitrary Characteristic
- 00:00:00 Thorsten Altenkirch: Containers & Inductive Types 01:02:13 Kristina Sojakova: Initial Algebras in Homotopy Type Theory ...
- 00:00:00 Tarmo Uustalu:
- 00:00:00 Marcello Fiore: Stable Species of Structures 01:01:11 Rune Haugseng:
- Lecture 6/9 in a series on
- Lecture 8/9 in a series on
Stay tuned for more updates related to Polynomial Functors In Arbitrary Characteristic.
