Eighth Scottish Category Theory Seminar

International Centre for Mathematical Sciences, Edinburgh
Friday 29th November 2013

The Scottish Category Theory Seminar provides a forum for discussion of all aspects of category theory, including applications to other mathematical and scientific fields.

We intend the meeting to be attractive to mathematicians, computer scientists, physicists, and anyone else interested in category-theoretic tools and their applications. Speakers have been asked to pitch their talks to suit a broad audience of people from diverse specialities, but with a common interest in category theory.

The meeting is generously supported by the Glasgow Mathematical Journal Trust and by the Complex Systems Engineering and Modelling and Abstraction themes of the Scottish Informatics and Computer Science Alliance.


Programme

13.30-14.00   Coffee
   
14.00-15.00 Invited speaker: Urs Schreiber (Radboud University Nijmegen)
  Higher toposes of laws of motion
15.00-15.30 Vincent Danos (University of Edinburgh)
  Conditional expectation as a functor
   
15.30-16.00 Coffee and pastries
   
16.00-16.30 Ross Duncan (University of Strathclyde)
  Quantum computing in (almost) any category: an introduction to the ZX-calculus
16.30-17.30 Invited speaker: Bart Jacobs (Radboud University Nijmegen)
  Program semantics, according to Heisenberg and to Schroedinger


Arrangements and dinner

The meeting takes place in the International Centre for Mathematical Sciences, 15 South College Street, Edinburgh.

The meeting will be followed by drinks in a nearby pub (from 17.50) and then dinner at a local restaurant (from 19.00).

You are requested to contact us (email scotcats@cis.strath.ac.uk) to let us know if:


Organisers: Neil Ghani, Tom Leinster, Alex Simpson (local organiser).