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.
|Title of host publication||Proceedings of the 10th International Workshop on Quantum Physics and Logic|
|Number of pages||13|
|Publication status||Published - 2014|
|Name||Electronic Proceedings in Theoretical Computer Science|