Follow
Matthew Di Meglio
Matthew Di Meglio
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Coequalisers under the lens
M Di Meglio
Electronic Proceedings in Theoretical Computer Science 372, 149-163, 2022
82022
An introduction to enriched cofunctors
B Clarke, M Di Meglio
arXiv preprint arXiv:2209.01144, 2022
62022
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
M Di Meglio, C Heunen
arXiv preprint arXiv:2401.06584, 2024
22024
Universal Properties of Lens Proxy Pullbacks
M Di Meglio
Electronic Proceedings in Theoretical Computer Science 380, 400-416, 2023
22023
The category of asymmetric lenses and its proxy pullbacks
M Di Meglio
Macquarie University, 2022
22022
Rational dagger categories
M Di Meglio
arXiv preprint arXiv:2312.02883, 2023
2023
Chebotarev's Density Theorem
M Di Meglio
UNSW, Sydney, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–7