A First Order Theory of Diagram Chasing. - Assia Mahboubi; Matthieu Piquerez (CSL, 2024)

Machine-Checked Categorical Diagrammatic Reasoning. - Benoît Guillemet; Assia Mahboubi; Matthieu Piquerez (FSCD, 2024)

A Zoo of Continuity Properties in Constructive Type Theory. - Martin Baillon; Yannick Forster 002; Assia Mahboubi; Pierre-Marie Pédrot; Matthieu Piquerez (FSCD, 2025)