Coequalisers under the lens M Di Meglio Electronic Proceedings in Theoretical Computer Science 372, 149-163, 2022 | 8 | 2022 |
An introduction to enriched cofunctors B Clarke, M Di Meglio arXiv preprint arXiv:2209.01144, 2022 | 6 | 2022 |
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 | 2 | 2024 |
Universal Properties of Lens Proxy Pullbacks M Di Meglio Electronic Proceedings in Theoretical Computer Science 380, 400-416, 2023 | 2 | 2023 |
The category of asymmetric lenses and its proxy pullbacks M Di Meglio Macquarie University, 2022 | 2 | 2022 |
Rational dagger categories M Di Meglio arXiv preprint arXiv:2312.02883, 2023 | | 2023 |
Chebotarev's Density Theorem M Di Meglio UNSW, Sydney, 2019 | | 2019 |