Hi guys I really enjoy doing crazy stuffs using code... :-) !!!!!! ©

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: doctrines; quantifier completions of doctrines; fibrations; simple (co)product completions of fibrations; categorical semantics; dialectica categories; dialectica construction; dialectica completion; propositional type theory; propositional Σ and Π types; syntactic categories. ©