Finite dimensional Hilbert spaces are complete for dagger compact closed categories
arXiv:1207.6972 · doi:10.2168/LMCS-8(3:6)2012
Abstract
We show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces.
Cited by in corpus (14)
- Causal categories: relativistically interacting processes
- The algebra of entanglement and the geometry of composition
- Categories of relations as models of quantum theory
- Supplementarity is Necessary for Quantum Diagram Reasoning
- Deconstructing the Calculus of Relations with Tape Diagrams
- Complete set of circuit equations for Stabilizer Quantum Mechanics
- Algorithmic Causal Sets and the Wolfram Model
- Inversion, Iteration, and the Art of Dual Wielding
- A diagrammatic calculus of fermionic quantum circuits
- Elliptic complexes over -algebras of compact operators
- Von Neumann Categories
- On the complexity of equational decision problems for finite height(ortho)complemented modular lattices
- Deriving Dagger Compactness
- Rewriting Graphically with Symmetric Traced Monoidal Categories