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

Two 2-traces

Simon Willerton, University of Sheffield
Categories, Logic and Foundations of Physics III, August 2008, University of Oxford

In a monoidal category there is a notion of a trace for certain types of endomorphisms for example the trace of an endomorphism of a finite dimensional vector space. In a monoidal bicategory there are two different notions of trace for endomorphisms which in various cases are 'dual'; I will describe these traces diagrammatically. Several examples from assorted areas will be given and I hope that the audience will come up with some more.

[video] [streaming video]