Matthew Di Meglio

According to our database¹, Matthew Di Meglio authored at least 3 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Dagger Categories and the Complex Numbers: Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions.

[BibT_eX]

[DOI]

Appl. Categorical Struct., June, 2025

2022

Universal Properties of Lens Proxy Pullbacks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

Coequalisers under the Lens.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Applied Category Theory, 2021