[Alta-Logic] Peripatetic Seminar

[Benjamin MacAdam]

Speaker: Cole Comfort

Date and time: Monday, January 6th, 2020 at 01:00

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.

http://peripatetic-seminar.cpsc.ucalgary.ca/wp/



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200105/9b61051d/attachment.html>