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