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: (hyper)doctrines / fibrations; quantifier completions of doctrines / simple (co)product completions of fibrations; categorical semantics for (fragments of) first order logic; dialectica construction; propositional type theory; categorical semantics for dependent type theories.
Supervised by Nicola Gambino, Federico Olimpieri and Michael Rathjen.