Follow
Axioms for the category of Hilbert spaces and linear contractions. (arXiv:2211.02688v1 [math.CT]) http://arxiv.org/abs/2211.02688
Axioms for the category of Hilbert spaces and linear contractions. (arXiv:2211.02688v1 [math.CT]) http://arxiv.org/abs/2211.02688