Completed
Pat objects
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
On Voevodsky's Univalence Principle - André Joyal
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Joint work
- 3 Presentation
- 4 Tribe
- 5 Clan
- 6 Anodyne map
- 7 Kin complexes
- 8 Retraction
- 9 Theory of Tribe
- 10 Type notation
- 11 Dependent type
- 12 Change of parameters
- 13 Context extension
- 14 Pat objects
- 15 Multiple categories
- 16 Identity of type A
- 17 Brown vibration category
- 18 Tight theory vs Tribe
- 19 Equivalence
- 20 A implies B
- 21 Univariate vibration
- 22 Small vibration
- 23 Universal vibration
- 24 Completing univariant machine
- 25 Descent