### Categories, Logic and Physics in London

#### Posted by John Baez

Category theory and logic seem to be finding more connections with physics. Bob Coecke and Andreas Döring have decided to run a series of workshops on these connections, starting with this:

- Categories, Logic and Foundations of Physics, January 9, 2008, Imperial College, London.

It’s too bad I can’t make it! I hope someone here does, and tells us what happened. Maybe Jamie Vicary? Maybe even David?

More details follow…

Here’s an email I got:

Dear all,

We hereby wish to invite you to participate in a workshop series which aims at nourishing research in the area of “Categories, Logic and Foundations of Physics”. There seems to be a substantial number of people in the Loxbridge area and beyond with interest in this field to sustain such a series. We also welcome activity from other research strands aiming to gain structural insights into foundational physical theories, for example by means of toy models, operational methodologies for general physical theories, structures for dynamics and space-time etc. Besides the workshops we plan to have an online presence in terms of a (moderated) interactive website on which open problems, news, discussions, tutorials, recordings of talks and pointers to literature will be exhibited. The scheduled date for the first meeting, which will take place at Imperial College in London, is

Wednesday, January 9, 2008.

While we do not want to stick to an a priori fixed format for the workshop, we propose the following schedule for the first meeting, to get the ball rolling:

12.00-13.00 Survey talk (Chris Isham on the topos apporach)

13.00-13.30 Research talk

13.30-14.15 Buffet lunch session

14.15-15.15 Survey talk (Samson Abramsky on the symmetric monoidal approach)

15.15-15.45 Research talk

15.45-16.30 General discussion session aiming at:

- stating open problems
- requests for presentation of certain topics
- plans for the future, e.g. proposals for collaboration
16.30-16.50 Coffee break

16.50-17.30 Work session

17.30-18.00 Research talk (?)

18.15-19.00 Pub sessionWe invite you to put forward suggestions for whom you would like to see give a (survey or) research talk, and please let us know about others who would be interested.

For planning reasons, please do let us know if you will participate in the January 9 workshop!We are looking forward to seeing you at “Categories, Logic and Foundations of Physics”.

Best regards,

Bob Coecke (Oxford) and Andreas Doering (Imperial)

## Re: Categories, Logic and Physics in London

I’m very tempted. Perhaps I’ll propose a category theoretic study of Charles Peirce’s representation of modal logic via tinctured gamma existential graphs.