@inproceedings{3f4a818eac244597b8e236d7d5bc352e,
title = "Mixed quantum states in higher categories",
abstract = "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. ",
author = "Chris Heunen and Jamie Vicary and Linde Wester",
year = "2014",
month = dec,
day = "28",
doi = "10.4204/EPTCS.172.22",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "304--315",
editor = "Bob Coecke and Ichiro Hasuo and Panangaden, {Prakash }",
booktitle = "Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL 2014)",
note = "11th workshop on Quantum Physics and Logic (QPL 2014) ; Conference date: 04-06-2014 Through 06-06-2014",
}