Coequalisers under the Lens. - Matthew Di Meglio (ACT, 2021)

Universal Properties of Lens Proxy Pullbacks. - Matthew Di Meglio (ACT, 2022)

Dagger Categories and the Complex Numbers: Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions. - Matthew Di Meglio; Chris Heunen (Appl. Categorical Struct., 2025)