Complete Positivity for Mixed Unitary Categories
In this article we generalize the ^∞-construction of dagger monoidal categories to mixed unitary categories. Mixed unitary categories provide a setting, which generalizes (compact) dagger monoidal categories and in which one may study quantum processes of arbitrary (infinite) dimensions. We show that the existing results for the ^∞-construction hold in this more general setting. In particular, we generalize the notion of environment structures to mixed unitary categories and show that the ^∞-construction on mixed unitary categories is characterized by this generalized environment structure.
READ FULL TEXT