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

Types and forgetfulness in categorical linguistics and quantum mechanics

Peter Hines, University of York
Flowin'Cat 2010, October 2010, University of Oxford

Despite the title, this talk is an excuse to present some pure category theory. it looks at proposals for using types, derived from categorical grammars, to evaluate and compare the meaning of words and sentences. The question posed is whether this evaluation process loses information about the sentences in question, and whether this is unavoidable. surprisingly, this question appears to be related to choices of measurement basis in quantum information.

[video] [streaming video] [slides]