The Scottish Category Theory Seminar provides a forum for discussion of all aspects of category theory, including applications to other mathematical and scientific fields.
Our fifth meeting takes place on the afternoon of Friday 25th November 2011 at the Informatics Forum of the University of Edinburgh.
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.
| 13.00-14.00 | Coffee |
| 14.00-14.50 | Invited talk: Anders Kock (Aarhus University) |
| Introduction to Synthetic Differential Geometry, and some arithmetic with nilpotents | |
| 14.50-15.50 | Invited talk: Paul-André Melliès (CNRS, Université Paris 7 - Denis Diderot) |
| Braided notions of dialogue categories | |
| 15.50-16.20 | Coffee and snack |
| 16.20-16.50 | Tom Leinster (University of Glasgow) |
| Measuring an enriched category | |
| 16.50-17.40 | Invited talk: Anders Kock (Aarhus University) |
| Commutative monads, and distributions (in a broad sense) |
The meeting takes place in the Informatics Forum (IF), 10 Crichton Street, Edinburgh, EH8 9AB. It is open to all.
The meeting begins with coffee in IF room 4.40 ("Mini-Forum 2") from 13.00. You are invited to bring your own lunch.
Talks are in room IF 4.31. The programme starts at 14.00 and runs until 17.40
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) by Friday 18th November if:
Organizers: Neil Ghani, Tom Leinster, Alex Simpson (local organizer).