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)]
[slides for printing (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)] |

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 scotcats@cis.strath.ac.uk) by Tuesday 18th May if:

- you are intending to attend the meeting, so we can cater appropriately,
- you are intending to come to dinner.