1 citations · 1 across the 1 of their papers we have counts for
3 papers
math.CT2024
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
Matthew Di Meglio, Chris Heunen
We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characteris…
math.CT2023
Pre-Hilbert -categories: The Hilbert-space analogue of abelian categories
Matthew Di Meglio
This article introduces pre-Hilbert -categories: an abstraction of categories exhibiting "algebraic" aspects of the theory of Hilbert spaces. Notably, finite biproducts in pre-H…
math.CT2023★ 1 cited
Universal Properties of Lens Proxy Pullbacks
Matthew Di Meglio
A comprehensive account of the categorical properties of the category of small categories and asymmetric delta lenses is given in the recent works of Chollet et al. and Di Meglio.…