Universal Properties in Quantum Theory
From MaRDI portal
Abstract: We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels are derived from pure quantum theory by allowing discarding. We phrase this in category theoretic terms by showing that the category of CPTP maps is the universal monoidal category with a terminal unit that has a functor from the category of isometries. In other words, the CPTP maps are the affine reflection of the isometries.
Recommendations
- Universal quantum observables
- Quantum and classical phenomenological universalities
- Universal quantum Hamiltonians
- scientific article; zbMATH DE number 3973457
- On universal quantization
- Quantum propensities
- scientific article; zbMATH DE number 2156283
- Universality in uncertainty relations for a quantum particle
- Automata, Languages and Programming
Cites work
- A categorical semantics for causal structure
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- A continuity theorem for Stinespring's dilation
- A lambda calculus for quantum computation with classical control
- A type theory for probabilistic and Bayesian reasoning
- Algebraic effects, linearity, and quantum programming languages
- Axiomatic description of mixed states from Selinger's CPM-construction
- Axiomatizing complete positivity
- Braided tensor categories
- Categories of quantum and classical channels
- Dagger compact closed categories and completely positive maps (extended abstract)
- scientific article; zbMATH DE number 3385869 (Why is no real title available?)
- Interacting Hopf algebras
- Monoidal indeterminates and categories of possible worlds
- Paschke dilations
- Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
- Props in Network Theory
- Purity through factorisation
- Semantical analysis of specification logic
- Semantics of weakening and contraction
Cited in
(14)- Quantum theory is a quasi-stochastic process theory
- scientific article; zbMATH DE number 7561601 (Why is no real title available?)
- Categories of quantum and classical channels
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Quantum propensities
- Compositional reversible computation
- Bennett and Stinespring, together at last
- Quantum channels as a categorical completion
- Quantum circuit completeness: extensions and simplifications
- Quantum de Finetti theorems as categorical limits, and limits of state spaces of C^*-algebras
- Universal properties of partial quantum maps
- Minimal equational theories for quantum circuits
- Probabilistic programming with exact conditions
- Categories of quantum cpos
This page was built for publication: Universal Properties in Quantum Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3385637)
