Homotopy Type Theory 2017: Presentation topics
Book chapters
- Homotopy type theory: Chapter 2 of the HoTT book
- Sets and logic in homotopy type theory: Chapter 3 of the HoTT book
- Equivalences, the univalence axiom and function extensionality: Chapter 4 of the HoTT book
Other possible presentation topics
- The general theory of categorical models of type theory: paper by Hofmann
- Groupoid model: Hofmann and Streicher, The groupoid interpretation of type theory. Available here
- Types as omega-groupoids: Bourke
- Identity types and weak factorisation systems: Gambino and Garner , Awodey and Warren
To main page.