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.
Leeds, Regno Unito
Member for 1 year, 10 months
8 profile views
Last seen Jun 24 at 13:44