The homotopy theoretic point of view on dependent types

  1. Home
  2. Teaching
  3. Seminars
Speaker:  Matteo Spadetto - LS2N of the University of Nantes
  Monday, December 1, 2025 at 4:30 PM Sala Verde

We discuss two ways of formulating the semantics of type theory (the abstract homotopy-theoretic perspective and the categorical one) and the relationships between them, focusing on concrete examples.
Programme Director
External reference
Publication date
November 25, 2025

Studying

Share