Completed
Canonicity theorem
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Univalence from a Computer Science Point-of-View - Dan Licata
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Martin-Löf type theory
- 3 coproduct injection is parity
- 4 Computation
- 5 Canonicity theorem
- 6 Univalence Axiom
- 7 Progress
- 8 Constructive Cubical Models
- 9 Main Ideas
- 10 Recommender System
- 11 Z in type theory (1)
- 12 addition (1)
- 13 Equivalence of (1) and (3)
- 14 Using univalence
- 15 Group structure
- 16 Without univalence
- 17 Circle
- 18 Universal Cover
- 19 Torus
- 20 Synth homotopy theory
- 21 Brunerie's number
- 22 CS Applications
- 23 Questions
