151
reputation
4

Gennaro Pasquale

Nĭsi lŏquĕris, nescis.

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


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. Gennaro Pasquale is just a nickname, for my actual name is Matteo Spadetto.

My research topics are: doctrines; quantifier completions of doctrines; fibrations; simple (co)product completions of fibrations; categorical semantics; dialectica categories; dialectica construction; weakened Σ and Π types; syntactic categories.

0
answers
2
questions
~391
people reached

Top tags (5)

Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

Badges (4)

Gold

Silver

Bronze

4

Rarest