Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
arXiv:2401.06584 · doi:10.1007/s10485-025-09803-5
Abstract
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 characterise the category of finite-dimensional Hilbert spaces and linear contractions in terms of simple category-theoretic structures and properties that do not refer to norms, continuity, or real numbers. This builds on Heunen, Kornell, and Van der Schaaf's easier characterisation of the category of all Hilbert spaces and linear contractions.
Reverted to TeX Live 2023 because of incompatibility between TeX Live 2025 and cleverref package