101st Peripatetic Seminar on Sheaves and Logic

September 16th-17th, 2017

University of Leeds

Picture of University of


  • PSSL 101. The 101st Peripatetic Seminar on Sheaves and Logic (PSSL 101) will be held on the weekend of Saturday 16th and Sunday 17th 2017 at the School of Mathematics, University of Leeds. Following the tradition of the PSSL, this is intended to be an informal meeting, covering all areas of category theory and its applications. Talks by PhD students and young researchers are particularly encouraged. For a history of the PSSL, please see here.
  • Pre-PSSL lectures. There will be two lectures in the afternoon of Friday 15th September, to be given by Andrew Brooke-Taylor and Jiri Rosicky, on connections between locally presentable categories, set theory, and model theory. 

Travel and directions

  • By plane: you can fly to either Leeds-Bradford Airport (LBA) or Manchester Airport (MAN).
    • From Leeds Bradford Airport, you can either take a taxi or bus line 757, which leaves in front of the airport and goes to Leeds Train Station.
    • From Manchester Airport, there are frequent trains from Manchester Airport to Leeds Train Station (either direct or via Manchester Piccadilly). The journey takes approximatively 75 minutes.
  • By train: you can travel to Leeds Train Station (LDS). Please consult National Rail Enquiries Website and Transpennine Express for details. 
  • By car: please see the instructions here. If you wish to park on campus, it is necessary to contact us well in advance, since all parking must be pre-booked by a member of staff. 

The following information can be useful to arrive at the University of Leeds once arrived in Leeds:

  • Directions to the University of Leeds can be dowloaded from this link.
  • Walking directions from Leeds Train Station can be found here.
  • A campus map can be downloaded from this link.
  • Lectures will be held in the School of Mathematics of the University of Leeds in the MALL room on Level 8. 


There are various hotels nearby where you can book accommodation on your own, e.g.:

Cheaper alternatives include the following:

Registration and submission of talks

  • There is no registration fee. To register and submit a talk, please download the form below:

Registration Form

and return it by email to n.gambino AT leeds.ac.uk by Friday 1st September 2017

Equivalence statue



Participants (preliminary list)

The following have expressed interest in attending the meeting:

  • Jiri Adamek (Braunschweig)
  • Benno van den Berg (Amsterdam)
  • Marino Gran (Louvain)
  • Martin Hyland (Cambridge)
  • Peter Johnstone (Cambridge)
  • Jaap van Oosten (Utrecht)
  • Jiri Rosicky (Brno)
  • Enrico Vitale (Louvain)

Organizing committee

  • Andrew Brooke-Taylor (Leeds)
  • Nicola Gambino (Leeds)
  • Peter Johnstone (Cambridge)

This page was last modified on June 5th, 2017 by Nicola Gambino