Axiomatizing complete positivity

Oscar Cunningham, Chris Heunen

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


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.
Original languageEnglish
Title of host publicationProceedings 12th International Workshop on Quantum Physics and Logic
PublisherOpen Publishing Association
Number of pages10
Publication statusPublished - 2015

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association

Fingerprint Dive into the research topics of 'Axiomatizing complete positivity'. Together they form a unique fingerprint.

Cite this