De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
From MaRDI portal
Publication:2864168
DOI10.1016/j.entcs.2006.12.011zbMath1277.18006arXivquant-ph/0506134OpenAlexW1993435018MaRDI QIDQ2864168
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0506134
quantum mechanicsprojective geometryquantum logiccategorical tracestrong compact closureglobal phases
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Pictures of complete positivity in arbitrary dimension ⋮ A diagrammatic derivation of the Hermitian adjoint ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Bases in Diagrammatic Quantum Protocols ⋮ Phase Groups and the Origin of Non-locality for Qubits ⋮ Axiomatic Description of Mixed States From Selinger's CPM-construction
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
- Coherence for compact closed categories
- Dagger Compact Closed Categories and Completely Positive Maps
- POVMs and Naimark's Theorem Without Sums
- Abstract Physical Traces
- Towards a quantum programming language
- Traced monoidal categories
- A categorical quantum logic
- Algebra and Coalgebra in Computer Science
This page was built for publication: De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure