Matthew Di Meglio is a PhD student in the Laboratory for Foundations of Computer Science at the University of Edinburgh working with Chris Heunen and Perdita Stevens?. He previously completed a Masters of Research at Macquarie University with Michael Johnson.
On lenses in computer science:
Matthew Di Meglio, The category of asymmetric lenses and its proxy pullbacks, Master’s Thesis, Macquarie University, (2021) [doi:10.25949/20236449.v1]
Matthew Di Meglio, Coequalisers under the Lens, EPTCS 372, (2022) 149-163. [doi:10.4204/EPTCS.372.11]
Bryce Clarke and Matthew Di Meglio, An introduction to enriched cofunctors, (2022) [arXiv:2209.01144]
Matthew Di Meglio, Universal Properties of Lens Proxy Pullbacks, EPTCS 380 (2023) 400-416 [doi:10.4204/EPTCS.380.23]
On rational dagger categories:
Last revised on December 9, 2023 at 22:23:10. See the history of this page for a list of all contributions to it.