Finite dimensional Hilbert spaces are complete for dagger compact closed categories
From MaRDI portal
Publication:2904623
DOI10.2168/LMCS-8(3:6)2012zbMath1250.18007arXiv1207.6972MaRDI QIDQ2904623
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
Characterizations of Hilbert spaces (46C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (10)
Categories of relations as models of quantum theory ⋮ Spectrum Maximizing Products Are Not Generically Unique ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ Unnamed Item ⋮ Join inverse categories and reversible recursion ⋮ Elliptic complexes over \(C^\ast\)-algebras of compact operators ⋮ Unnamed Item ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices ⋮ Inversion, Iteration, and the Art of Dual Wielding
This page was built for publication: Finite dimensional Hilbert spaces are complete for dagger compact closed categories
