Matteo Spadetto
- Email: mmmsp@leeds.ac.uk
Profile
Personal webpage with talks and publications here.
Research interests
Category theory based semantics for homotopy type theory and for (fragments of) first-order logic.
Research topics:
- [categorical logic] (hyper)doctrines; quantifier completions of doctrines; Grothendieck fibrations; simple (co)product completions of Grothendieck fibrations; categorical semantics for (fragments of many-sorted) first-order logic; dialectica interpretation; dialectica construction à la de Paiva; disjunction and existence properties;
- [homotopy type theory] dependent type theories; propositional type theories; categories with attributes; comprehension categories; categorical semantics for dependent type theories.
Supervised by Nicola Gambino, Federico Olimpieri and Michael Rathjen.