Type: Article
Publication Date: 2014-12-28
Citations: 2
DOI: https://doi.org/10.4204/eptcs.172.23
This paper explores the use of 2-categorical technology for describing and reasoning about complex quantum procedures. We give syntactic definitions of a family of complementary measurements, and of quantum key distribution, and show that they are equivalent. We then show abstractly that either structure gives a solution to the Mean King problem, which we also formulate 2-categorically.