Mixed quantum states in higher categories
  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. 
Chris Heunen (University of Oxford), Jamie Vicary (National University   of Singapore, University of Oxford), Linde Wester (...
quant-ph cs.LO