Sign up to our mailing list by sending a blank email to invariantsociety-subscribe@maillist.ox.ac.uk

Selling Category Theory to the Masses: A Tale of Food, Spiders and Google

Bob Coecke

Date Icon Week 2, Tuesday 6 May TT 2014
Time Icon 8:15pm

We will demonstrate the following. Category theory, usually conceived as some very abstract form of metamathematics, is present everywhere around us. Explicitly, we show how it provides a kindergarten version of quantum theory as well as a new process-based foundation of it, how it helps to automate quantum reasoning, and how it will help Google to understand sentences given the meaning of their words.