# Homotopy Type Theory 2016: Presentation topics

### Book chapters

- 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
- Higher inductive types: Chapter 6 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
- The univalent model in simplicial sets, see here
- Types as omega-groupoids: Van den Berg and Garner, Bourke and Lumsdaine
- Identity types and weak factorisation systems: Gambino and Garner , Awodey and Warren

To main page.