Completely positive projections and biproducts

Chris Heunen, Aleks Kissinger, Peter Selinger

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProceedings of the 10th International Workshop on Quantum Physics and Logic
Number of pages13
Publication statusPublished - 2014

Publication series

NameElectronic Proceedings in Theoretical Computer Science
ISSN (Print)2075-2180

Fingerprint Dive into the research topics of 'Completely positive projections and biproducts'. Together they form a unique fingerprint.

Cite this