Universal Properties in Quantum Theory

zbMath1486.18030arXiv1901.10117MaRDI QIDQ3385637

Sam Staton, Mathieu Huot

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1901.10117

Mathematics Subject Classification ID

Contextuality in quantum theory (81P13) Monoidal categories, symmetric monoidal categories (18M05)

Related Items (2)

The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interacting Hopf algebras
• Monoidal indeterminates and categories of possible worlds
• Categories of quantum and classical channels
• Semantical analysis of specification logic
• A continuity theorem for Stinespring's dilation
• Braided tensor categories
• Semantics of weakening and contraction
• Algebraic Effects, Linearity, and Quantum Programming Languages
• Dagger Compact Closed Categories and Completely Positive Maps
• Axiomatic Description of Mixed States From Selinger's CPM-construction
• Picturing Quantum Processes
• A Type Theory for Probabilistic and Bayesian Reasoning
• Props in Network Theory
• Axiomatizing complete positivity
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• A lambda calculus for quantum computation with classical control

This page was built for publication: Universal Properties in Quantum Theory