Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions

2024/01/12 by Di Meglio, Matthew, Heunen, Chris
#Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Quantum Physics (quant-ph)

paper · doi:10.48550/arxiv.2401.06584

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.

Related

• Axiomatising the dagger category of complex Hilbert spaces
• Hilbert *-categories: Where limits in analysis and category theory meet
• Axioms for the category of sets and relations
• Dagger Categories of Tame Relations
• Hilbert spaces admit no finitary discrete imaginaries