Third Scottish Category Theory Seminar

Department of Computer and Information Sciences, University of Strathclyde
Thursday 2nd December 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 third meeting takes place on Thursday 2 December 2010. Refreshments will be available from 1pm on the 11th floor of the Livingstone Tower. The talks will begin at 2pm in the Colville Building Room 503A. Both of these locations are on the corner of Richmond Street and North Portland Street. 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.


The location of the meeting will be in the Colville Building, room Col 503A, at the intersection of Richmond Street and North Portland Street in Glasgow. Coffee will be available from 1pm in the 11th floor of the Livingston Tower also on the junction of Richmond Street and North Portland Street. Click the "+" on the map and it will zoom in to the location. Technology, eh!

View Larger Map


13.00-14.00   Coffee
14.00-15.00 Marcelo Fiore (University of Cambridge)
  On Higher Order Algebra  
15.00-16.00 Bas Spitters (University of Nijmegen)
  Bohrification: Topos theory and quantum theory  
16.00-16.30 Coffee and snack
16.30-17.30 Peter Johnstone (University of Cambridge)
  Hochas and Minimal toposes

Algebraic Set Theory Course

On the morning of Friday 3 December, Benno van den Berg will give a crash course on Algebraic Set Theory consisting of 3 one hour lectures with small breaks in between. While not part of ScotCat 3, anyone wishing to attend is more than welcome to do so.

Dinner on Thursday Dec 2

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 Monday 29 November if: