Fifth Scottish Category Theory Seminar

Informatics Forum, University of Edinburgh
Friday 25th November 2011

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)

Arrangements and dinner

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 by Friday 18th November if:

Organizers: Neil Ghani, Tom Leinster, Alex Simpson (local organizer).