Homotopy Type Theory 2017: Presentation topics

Book chapters

  1. Homotopy type theory: Chapter 2 of the HoTT book
  2. Sets and logic in homotopy type theory: Chapter 3 of the HoTT book
  3. Equivalences, the univalence axiom and function extensionality: Chapter 4 of the HoTT book

Other possible presentation topics

  1. The general theory of categorical models of type theory: paper by Hofmann
  2. Groupoid model: Hofmann and Streicher, The groupoid interpretation of type theory. Available here
  3. Types as omega-groupoids: Bourke
  4. Identity types and weak factorisation systems: Gambino and Garner , Awodey and Warren

To main page.