Mixed quantum states in higher categories

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


Colleges, School and Institutes

External organisations

  • University of Oxford
  • University of Singapore


There are two ways to describe the interaction between classical and quantum information categorically: one based on completely positive maps between Frobenius algebras, the other using symmetric monoidal 2-categories. This paper makes a first step towards combining the two. The integrated approach allows a unified description of quantum teleportation and classical encryption in a single 2-category, as well as a universal security proof applicable simultaneously to both scenarios.


Original languageEnglish
Title of host publicationProceedings of the 11th Workshop on Quantum Physics and Logic (QPL 2014)
EditorsBob Coecke, Ichiro Hasuo, Prakash Panangaden
Publication statusPublished - 28 Dec 2014
Event11th workshop on Quantum Physics and Logic (QPL 2014) - Kyoto, Japan
Duration: 4 Jun 20146 Jun 2014

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
ISSN (Electronic)2075-2180


Conference11th workshop on Quantum Physics and Logic (QPL 2014)