Logic Seminar

Monday, 1 December 2025, Sala Verde

16:30

Matteo Spadetto (LS2N of the University of Nantes)

The homotopy theoretic point of view on dependent types

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.

Page on the University of Verona website
Link.