Matteo Spadetto's user avatar
Matteo Spadetto's user avatar
Matteo Spadetto's user avatar
Matteo Spadetto
  • Member for 5 years, 10 months
  • Last seen more than a month ago
Stats
203
reputation
0
reached
0
answers
0
questions
Loading…
About

Nĭsi lŏquĕris, nescis.

One does not know (it), as long as they cannot talk (about it).


Also known as Gennaro Pasquale.

I'm a PhD student in Mathematics at the University of Leeds, in the United Kingdom. Categorical Logic and Homotopy Type Theory are my main interests, but I also enjoy Model Theory, Functional Analysis and Algebraic Topology.

My research topics are: (hyper)doctrines; quantifier completions of doctrines; fibrations; simple (co)product completions of fibrations; gödel doctrines/fibrations; categorified quantifier-freeness; categorical semantics for (fragments of) first order logic; dialectica categories; dialectica construction; dialectica completion; propositional type theory; propositional $\Sigma$ and $\Pi$ types; propositional $\eta$ and $\beta$ computation rules; syntactic categories; categorical semantics for type theories; display map classes; bicategorical semantics; bicategories with a display map class; categories with attributes; propositional versus judgemental in type theory.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.