Univalence from a Computer Science Point-of-View - Dan Licata

Univalence from a Computer Science Point-of-View - Dan Licata

Institute for Advanced Study via YouTube Direct link

Recommender System

10 of 23

10 of 23

Recommender System

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. 1 Intro
  2. 2 Martin-Löf type theory
  3. 3 coproduct injection is parity
  4. 4 Computation
  5. 5 Canonicity theorem
  6. 6 Univalence Axiom
  7. 7 Progress
  8. 8 Constructive Cubical Models
  9. 9 Main Ideas
  10. 10 Recommender System
  11. 11 Z in type theory (1)
  12. 12 addition (1)
  13. 13 Equivalence of (1) and (3)
  14. 14 Using univalence
  15. 15 Group structure
  16. 16 Without univalence
  17. 17 Circle
  18. 18 Universal Cover
  19. 19 Torus
  20. 20 Synth homotopy theory
  21. 21 Brunerie's number
  22. 22 CS Applications
  23. 23 Questions

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.