- Homotopy (type) theory: "A doctoral course on homotopy theory and homotopy type theory given by Andrej Bauer and Jaka Smrekar". Links to lecture notes and videos provided. https://github.com/andrejbauer/homotopy-type-theory-course 4 comments math
Linking pages
Linked pages
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html 6 comments
- [1703.03007] Homotopy type theory: the logic of space https://arxiv.org/abs/1703.03007 4 comments
- [1711.01477] An introduction to univalent foundations for mathematicians https://arxiv.org/abs/1711.01477 0 comments