Dear all, Notes from some of the talks at the recent PSSL, including Jon Woolf's three-part introduction to derived categories, are available: http://www.maths.gla.ac.uk/~tl/pssl/#intellectual Contents: Miles Gould, "Coherence for categorified algebraic theories" Panagis Karazeris, "Flatness of functors into sites" Jürgen Koslowski, "What is the correct notion of morphism for interpolative semigroups?" Tom Leinster, "A universal Banach space" Jon Woolf, "Derived categories 1, 2, 3" Best wishes, Tom -- Tom Leinster <tl@maths.gla.ac.uk>