University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Oxford Quantum Talks Archive

Autonomous categories in which A is isomorphic to A*

Peter Selinger, Dalhousie University
Quantum 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]