Matteo Spadetto's user avatar
Matteo Spadetto's user avatar
Matteo Spadetto's user avatar
Matteo Spadetto
  • Member for 4 years, 2 months
  • Last seen more than a month ago
Stats
151
reputation
569
reached
0
answers
2
questions
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.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %