Research

Publications

• The Elementary Theory of the 2-Category of Small Categories, written with Adrian Miranda. Theory and Applications of Categories, Vol. 43, 2025, No. 8, pp 196-242.

• Colimits of Internal Categories, written with Adrian Miranda. Bulletin of the Belgian Mathematical Society — Simon Stevin 33 (3) 351 - 385, July 2026. (Download here)

Preprints

• The algebraic internal groupoid model of Martin-Löf type theory , 2025.

Other

• Internal Categories, Internal Groupoids and Models of Type Theory, PhD thesis, 2026.
• The Dold Kan Correspondence, Master’s project, 2022.