The homotopy theoretic point of view on dependent types

Relatore
Matteo Spadetto - LS2N of the University of Nantes

Data
1-dic-2025 - Ora: 16:30 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.