Oxford Quantum Talks Archive
Autonomous categories in which A is isomorphic to A*
Peter Selinger, Dalhousie UniversityQuantum Physics and Logic 2010, May 2010, University of Oxford
Recently, there has been some interest in autonomous categories (such as compact closed categories) in which the objects are self-dual, in the sense that A is isomorphic to, or even equal to, A*, for all objects A. In this talk, we investigate which coherence conditions should be required of such a category. We also investigate what graphical language could be used to reason about such a category.
[video] [streaming video]