De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure

DOI10.1016/j.entcs.2006.12.011zbMath1277.18006arXivquant-ph/0506134OpenAlexW1993435018MaRDI QIDQ2864168

Bob Coecke

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

zbMATH Keywords

quantum mechanicsprojective geometryquantum logiccategorical tracestrong compact closureglobal phases

Mathematics Subject Classification ID

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

• QPL

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