Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models

Howard Barnum, Ross Duncan, Alexander Wilce

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms…