| Summary: | <p>We recast Selinger's CPM-construction of mixed states completely positive maps [P. Selinger (2007) <em>Dagger compact closed categories and completely positive maps</em>. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science <strong>170</strong>, 139–163. Available from Peter Selinger&apos;s homepage] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of completely positive maps to satisfy the preparation-state agreement axiom of [Coecke, B. (2007) <em>De-linearizing linearity: projective quantum axiomatics from strong compact closure</em>. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science <strong>170</strong>, 49–72. E-print: <a href="arXiv:quant-ph/0506134">arXiv:quant-ph/0506134</a></p>
|
|---|