Research

Papers

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

• Colimits of Internal Categories, written with Adrian Miranda, 2025. Accepted for publication by the Bulletin for the Belgian Mathematical Society- Simon Stevin.

Preprints

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

Other

• The Dold Kan Correspondence, Master’s project, 2022.