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.