Second Scottish Category Theory Seminar

Informatics Forum, University of Edinburgh
Friday 21st May 2010

Category theory is a relatively new branch of mathematics which seeks to understand abstract mathematical structure. At its core, category theory contains a synthesis of algebraic, logical and geometric intuitions. This allows for both diverse applications and innovative insights in areas including pure mathematics, computer science, physics etc. The Scottish Category Theory Seminar provides a forum for discussion of all aspects of category, be they straight category theory or applications to other scientific fields.

Our second meeting takes place on Friday May 21 2010 at the Informatics Forum of the University of Edinburgh. Refreshments will be available from 1pm. We intend the meeting to be attractive to mathematicians, computer scientists, physicists etc., and thus aim for talks of interest to a broad audience of people interested in category theory.

This meeting is supported by the Edinburgh Mathematical Society.


13.00-14.00   Coffee
14.00-15.00 Invited talk: Antony Maciocia (University of Edinburgh)
  Triangulated Categories in Algebraic Geometry   [slide show (pdf)]  
15.00-15.30 Thorsten Altenkirch (University of Nottingham)
  Monads Need Not Be Endofunctors   [slides (pdf)]
15.30-16.00 Coffee and snack
16.00-16.30 Peter Kropholler (University of Glasgow)
  My Favourite Adjunctions
16.30-17.30 Invited talk: Dirk Pattinson (Imperial College London)
  Category-theoretic Proof Theory of Modal Logics   [slides (pdf)]

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 meeting will be followed by drinks in a nearby pub (from 17.30) and then dinner at a local restaurant (from 18.30).

You are politely requested to contact us (email by Tuesday 18th May if: