Finite dimensional Hilbert spaces are complete for dagger compact closed categories

DOI10.2168/LMCS-8(3:6)2012zbMath1250.18007arXiv1207.6972MaRDI QIDQ2904623

Peter Selinger

Publication date: 15 August 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.6972

zbMATH Keywords

completeness; Hilbert spaces; dagger compact closed categories

Mathematics Subject Classification ID

46C15: Characterizations of Hilbert spaces

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)