Polynomial Functors Course, Day 2: Polynomial morphisms
Автор: Topos Institute
Загружено: 2021-07-19
Просмотров: 2338
We review the portions of the video that stalled here: • Polynomial Functors Course, Day 2 Makeup
In our book (see link below), we walk through how to interpret natural transformation composition in terms of arena morphisms in Sections 2.3.3 and 2.3.4. You can verify the universal properties of coproducts and products in Poly in Exercises 2.62 and 2.72.
If you have trouble hearing a question or comment from the audience, turn on the English subtitles: we've captioned all audience remarks that we didn't then repeat. (In the future, we'll do our best to repeat all audience questions aloud, but this will be our backup plan in case we forget.)
David's talk on ⊗-monoids: • Topos Internal Talk — Collectives: ⊗-monoi...
Course website: https://topos.site/poly-course
Book: https://topos.site/poly-book.pdf
Book suggestions document: https://docs.google.com/document/d/1q...
General feedback form: https://forms.gle/Eh7jkXqG84M5A5ry5
Got a question? Use the chat, leave a comment, or fill out this form: https://forms.gle/K6vNLia1J6KwjYgX6
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: