Axiomatic Description of Mixed States From Selinger's CPM-construction

DOI10.1016/j.entcs.2008.04.014zbMath1279.81010OpenAlexW2084269802MaRDI QIDQ2870201

Bob Coecke

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.014

zbMATH Keywords

completely positive mapspurification\(\dagger\)-compact categoryinternal trace

Mathematics Subject Classification ID

Theory of programming languages (68N15) Quantum measurement theory, state operations, state preparations (81P15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items (15)

A Categorical Reconstruction of Quantum Theory ⋮ Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality ⋮ Pictures of complete positivity in arbitrary dimension ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Axiomatizing complete positivity ⋮ Higher-order CPM Constructions ⋮ Universal Properties in Quantum Theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Categories of quantum and classical channels ⋮ Compositional Quantum Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ POVMs and Naimark's Theorem Without Sums

Cites Work

• Unnamed Item
• De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
• Dagger Compact Closed Categories and Completely Positive Maps
• Fidelity for Mixed Quantum States
• Abstract Physical Traces
• Traced monoidal categories

This page was built for publication: Axiomatic Description of Mixed States From Selinger's CPM-construction