I am a mathematician with research interests in mathematical logic and category theory, in particular dependent type theories and categorical logic. I obtained a PhD in mathematics at Stockholms universitet in Sweden under the supervision of Erik Palmgren.
Currently, I am a postdoctoral researcher in the Genoa Logic Group at Dipartimento di Matematica (DIMA) of the University of Genoa in Italy. Until December 2022 my position was funded by a scholarship from KoA Wallenbergs Stiftelse.
Previously, I was a Research Fellow at the School of Computer Science of the University of Birmingham in UK, working with Benedikt Ahrens and Paige Randall North. Before that, I held a postdoc position (assegno di ricerca) at DIMA with Pino Rosolini.
I am part of ItaCa, the Italian community of category theorists.
You can also find me on GitHub.
Publications
- A characterisation of elementary fibrations. With F. Pasquali and G. Rosolini. Annals of Pure and Applied Logic 173(6), 2022. DOI:10.1016/j.apal.2022.103103 arXiv:2007.16180.
- Elementary fibrations of enriched groupoids. With F. Pasquali and G. Rosolini. Mathematical Structures in Computer Science, 1-21, 2021. DOI:10.1017/S096012952100030X
- W-types in setoids. Logical Methods in Computer Science 17(3:28), 2021. DOI:10.46298/LMCS-17(3:28)2021 arXiv:1809.02375.
- Elementary doctrines as coalgebras. With F. Pasquali and G. Rosolini. Journal of Pure and Applied Algebra 224(12), 2020. DOI:10.1016/j.jpaa.2020.106445.
- The Fullness Axiom and exact completions of homotopy categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques 61(4), 2020. Cahiers arXiv:1808.09905.
- On the local cartesian closure of exact completions. Journal of Pure and Applied Algebra 224(11), 2020. DOI:10.1016/j.jpaa.2020.106414 arXiv:1804.08585.
- Exact completion and constructive theories of sets. With E. Palmgren. Journal of Symbolic Logic 85(2), 2020. DOI:10.1017/jsl.2020.2 arXiv:1710.10685.
- L’interpretazione BHK per la logica intuizionista. (In Italian.) Archimede, 4/2018.
Preprints
- A 2-comonad for elementary fibrations. With F. Pasquali and G. Rosolini. In preparation.
- The solutions to single-variable polynomials, implemented and verified in Lean. With B. Ahrens and N. Dyson. Under review. arxiv:2201.00255.
- Algebraic presentations of dependent type theories. With B. Ahrens, P. North and E. Rijke. Under review. arxiv:2111.09948.
- A category-theoretic version of the identity type weak factorisation system. arXiv:1412.0153.
Doctoral dissertation
- Exact completion and type-theoretic structures. Doctoral Thesis in Mathematics at Stockholm University. Stockholm: Department of Mathematics, Stockholm University, 2019.
Here is my full CV. To contact me: emmenegger [at] dima [dot] unige [dot] it
Jacopo Emmenegger 