Completely positive projections and biproducts

Abstract

The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this construction to two earlier attempts at solving this problem: freely adding biproducts to CPM, and freely splitting idempotents in CPM. The CP*-construction embeds the former, and embeds into the latter, but neither embedding is an equivalence in general.

In Proceedings QPL 2013, arXiv:1412.7917

References in corpus (1)

• Finite Products are Biproducts in a Compact Closed Category

Cited by in corpus (13)

• Reconstructing quantum theory from diagrammatic postulates
• Axiomatizing complete positivity
• Leaks: quantum, classical, intermediate, and more
• Mixed quantum states in higher categories
• Two Roads to Classicality
• Frobenius structures over Hilbert C*-modules
• Categories of Quantum and Classical Channels
• Compositional resource theories of coherence
• Higher-order CPM Constructions
• Universal Properties of Partial Quantum Maps
• Categories of Semantic Concepts
• The Safari of Update Structures: Visiting the Lens and Quantum Enclosures
• Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras