Segui
Matthew Di Meglio
Matthew Di Meglio
Email verificata su ed.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–7