Univalent Foundations and the Equivalence Principle - Benedikt Ahrens

Univalent Foundations and the Equivalence Principle - Benedikt Ahrens

Institute for Advanced Study via YouTube Direct link

What is a foundation of mathematics?

2 of 29

2 of 29

What is a foundation of mathematics?

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Univalent Foundations and the Equivalence Principle - Benedikt Ahrens

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 What is a foundation of mathematics?
  3. 3 Outline
  4. 4 Indiscernability of identicals
  5. 5 Violating the equivalence principle
  6. 6 Voevodsky's homotopy lambda calculus
  7. 7 Overview of type theory
  8. 8 Dependent types and functions
  9. 9 Syntax of type theory
  10. 10 Type dependency
  11. 11 Dependent types in pictures
  12. 12 Inference rules and derivations
  13. 13 The singleton type
  14. 14 The type of dependent pairs
  15. 15 The type of dependent functions IL
  16. 16 A dependent function in pictures
  17. 17 The identity type
  18. 18 Some terms that can be defined
  19. 19 Contractible types, propositions and sets
  20. 20 Equivalences
  21. 21 The path type of pairs
  22. 22 Axioms to characterize some path types
  23. 23 Transport along isomorphism
  24. 24 Monoids in type theory
  25. 25 The type of monoids
  26. 26 Monoid isomorphisms
  27. 27 Equivalence principle for set-level structures
  28. 28 EP for categories
  29. 29 Conclusions

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.