The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity, convexity or dimension.
No takes yet. Share an insight, caveat, or question.
Heunen et al. (2024) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: