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…