Cole Comfort

Date: January 6, 2020

Time: 1:00 PM

Location: ICT 616

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.