フォロー
Matthew Di Meglio
Matthew Di Meglio
確認したメール アドレス: ed.ac.uk - ホームページ
タイトル
引用先
引用先
Coequalisers under the lens
M Di Meglio
Electronic Proceedings in Theoretical Computer Science 372, 149-163, 2022
92022
An introduction to enriched cofunctors
B Clarke, M Di Meglio
arXiv preprint arXiv:2209.01144, 2022
62022
Universal Properties of Lens Proxy Pullbacks
M Di Meglio
Electronic Proceedings in Theoretical Computer Science 380, 400-416, 2023
32023
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
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–7