2015/06/30 by Oscar Cunningham, Chris Heunen
Mathematics · Computer Science · #math.CT #cs.LO
paper · pdf · doi:10.4204/eptcs.195.11
published as EPTCS 195, 2015, pp. 148-157 · In Proceedings QPL 2015, arXiv:1511.01181
arxiv created 2015/11/05 · arxiv updated 2015/11/06
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical systems on an equal footing. The former has been axiomatized using environment structures. We extend this axiomatization to the latter by introducing decoherence structures.