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.
|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|
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 firstname.lastname@example.org) to let us know if:
Organisers: Neil Ghani, Tom Leinster, Alex Simpson (local organiser).