Title: Completely positive maps and the Cartesian completion of a discrete inverse category
Abstract: In this talk, I relate Giles’ Cartesian completion of a discrete inverse category to Coecke and Heunen’s CP^∞ construction of quantum channels for well behaved symmetric †-monoidal categories. In particular, by taking the subcategory of classical channels of CP^∞(C), CP*(C) for a well-behaved discrete inverse category C, one obtains precisely the Cartesian completion of C.
