  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.
