Complete Positivity for Mixed Unitary Categories

arXiv1905.08877MaRDI QIDQ6319129FDOQ6319129

Authors: J. R. B. Cockett, Priyaa Varshinee Srinivasan 

Publication date: 21 May 2019

Abstract: Coecke and Heunen described completely positive maps in dagger monoidal categories and the {sf CP}-infinity construction on these categories in order to construct a category of arbitrary dimensional quantum processes. This article generalizes the $sfCP$-infinity construction of dagger monoidal categories to mixed unitary categories. Mixed unitary categories, on the one hand, generalize the (compact) dagger monoidal categories, and on the other hand, accommodate arbitrary dimensional quantum processes, both without sacrificing the notion of dual objects. This means that the $sfCP$-infinity construction for mixed unitary categories provides a suitable semantics for higher-order quantum programming languages which employ arbitrary dimensional structures. The existing results for the $sfCP$-infinity construction are shown to generalize to the new setting. In particular, the notion of environment structures generalizes to mixed unitary categories and it is shown that the $sfCP$-infinity construction for mixed unitary categories is characterized by this generalized environment structure.

This page was built for publication: Complete Positivity for Mixed Unitary Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6319129)