BonnHoTTSeminar

Notes from the student talks on homotopy type theory for the master's thesis seminar organized by Floris van Doorn at the University of Bonn, Summer semester 2024

Talks so far:

1. Theofanis Chatzidiamantis-Christoforidis - Introduction to Homotopy Type Theory
2. Kunhong Du - Categorical Semantics of Type Theory
3. Tim Lichtnau - Synthetic Algebraic Geometry I
4. Theofanis Chatzidiamantis-Christoforidis - Higher Categories for the HoTT-Headed Mathematician
5. Kunhong Du - The term model of type theory and contextual categories
6. Tim Lichtnau - Synthetic Algebraic Geometry II
7. Theofanis Chatzidiamantis-Christoforidis - Formalizing Higher Categories with Simplicial Type Theory