83rd PSSL


The 83rd PSSL was held in Glasgow on Saturday 6th and Sunday 7th May 2006. See below for some notes from the meeting.

Glasgow is Scotland's largest and liveliest city (although the administrative capital is Edinburgh, a sleepy dwelling nearly an hour out of town). The University was founded in 1451, making it the UK's fourth-oldest, after St Andrews, Oxford and Cambridge.

University tower

What is a PSSL?   The PSSLs are a long-running series of meetings, usually held over a weekend at a university in Europe. Talks cover all aspects of category theory and its applications. The working atmosphere is informal, e.g. talks are usually short and may be about work in progress. The name is a (charming) historical relic - 'Peripatetic Seminar on Sheaves and Logic' - but most talks are not about sheaves or logic.

Attendance is free, and everyone is invited to offer a talk.




Notes   The following notes from the PSSL are available:

Emmanuel Galatoulas Bicategorical quantum mechanics: beyond quantaloids (ps, pdf)
Miles Gould Coherence for categorified algebraic theories (pdf)
Panagis Karazeris Flatness of functors into sites (dvi, ps, pdf)
Jürgen Koslowski What is the correct notion of morphism for interpolative semigroups? (link)
Tom Leinster A universal Banach space (ps, pdf)
Jon Woolf Derived categories 1, 2, 3 (pdf)

The day before   Independently of the PSSL, Francis Borceux will be giving the Mathematics Department colloquium on Friday 5th at 4pm, in room 417: `Synthetic differential geometry: the intuition turned into rigour'. It will be for a general mathematical audience, i.e. not category theorists. You are welcome to come to this too.

Invited talks   Jon Woolf will introduce us to derived categories.

Schedule: ps, pdf.

Participants   The list so far:

Name Affiliation Talk (abstracts: ps, pdf)
Jirí Adámek Braunschweig A logic of injectivity
Francis Borceux Louvain-la-Neuve
Yemon Choi Newcastle Homological algebra for Banach modules?
Maria Manuel Clementino Coimbra
Bob Coecke Oxford Quantum measurements as Eilenberg-Moore coalgebras
Tomas Everaert Brussels Relative commutator theory in varieties of omega-groups
Emmanuel Galatoulas Athens Bicategorical notions of quantum mechanical processes: beyond quantaloids
Julia Goedecke Cambridge
Miles Gould Glasgow Coherence for categorified algebraic theories
Panagis Karazeris Patras Flatness of functors into sites
Rudger Kieboom Brussels
Anders Kock Aarhus
Jürgen Koslowski Braunschweig What is the correct notion of morphism for interpolative semigroups?
Alexander Kurz Leicester Relating algebras on Ind and Pro completions
Tom Leinster Glasgow A universal Banach space
Philipp Reinhard Glasgow
Mehrnoosh Sadr-zadeh Southampton Between algebra and coalgebra: an application
Richard Steiner Glasgow
Paul Taylor Manchester Computable real analysis without set theory or Turing machines
Christopher Townsend Royal Bank of Canada A representation theorem for geometric morphisms
Tim Van der Linden Brussels On the second cohomology group in semi-abelian categories
Jirí Velebil Prague Definable operations in monads
Jon Woolf Liverpool Derived categories 1, 2, 3
Sam Zoghaib ENS (Paris), Cambridge




Registration   Click to register and request accommodation. There is no registration fee.

Coordinates   The meeting will be held at the Department of Mathematics at the University of Glasgow. It will start at about 9am on Saturday 6th May and finish early in the afternoon of Sunday 7th.

Weather   In Scotland in May, the days are light and long. Despite Glasgow's reputation for year-round warmth and sunshine, there can be occasional showers; best to bring a range of clothes.

Getting to Glasgow   Here is some good basic information. Further points:

Trains:   this site tells you UK train times and lets you book tickets.

By booking well in advance you can save a lot of money. For instance, a single from London to Glasgow can be as little as 14 pounds and as much as 110 (that's 20 versus 160 euros). The website tells you what's available. Some hints: (i) sometimes two singles are cheaper than a return; (ii) take deep breaths, especially if you live somewhere such as France or Germany: to put it mildly, our trains do not function like yours.

Planes:   budget airlines such as Easyjet and Air Berlin fly to Glasgow. Transavia and Ryanair fly to Prestwick, 45 minutes by train from Glasgow. Germanwings fly between Cologne-Bonn and Edinburgh (which is an hour from Glasgow). You can sometimes get absurdly cheap fares.

Getting around Glasgow   Again, see the University's travel site.

The University is 45 minutes' walk west of the city centre. Lots of cafes, shops and hotels are close by.

The easiest way to get between the city centre and the University is by subway. The stop for the University is Hillhead. Our subway is the third-oldest underground system in the world (after London and Budapest). It has the unique feature that you can't get lost: every train goes from every station to every other station.
Subway map

If you're coming by train, you'll arrive at either Glasgow Central or Glasgow Queen St. Both are in the city centre.

If you're coming by plane and arrive at Glasgow Airport, you can take a bus to the city centre or a taxi direct to the University area. If you fly with Ryanair or Transavia you'll arrive at Prestwick Airport, from where you can catch a train to the city centre.

Coming back   On Sundays, the subway only runs from 10am to 6pm, and trains to Prestwick (for Ryanair and Transavia flights) are only every hour, as opposed to every half hour on weekdays.

Organizers   Tom Leinster (T.Leinster#maths,gla,ac,uk) and Richard Steiner (R.Steiner#maths,gla,ac,uk).

This PSSL is supported by the Nuffield Foundation and the Department of Mathematics.

This page was last modified on 31 May 2006.