THE PERIPATETIC SEMINAR ON SHEAVES AND LOGIC

Thirtieth Meeting: Cambridge, 2--3 March 1985

Saturday

10.00: Barry Mitchell (Rutgers) Separable categories

11.45: Francis Borceux (Louvain) Classical points of quantic spaces

14.30: Peter Johnstone (Cambridge) Some elementary facts about Grothendieck topologies

15.15: Jon Chapman (Bristol) Categories in a topos

16.30: Yves Diers (Valenciennes) On the classification of categories of commutative algebras

Sunday

10.00: Martin Hyland (Cambridge) Recursive and effective toposes

11.15: Anders Kock (Aarhus) Combinatorial notions of principal fibre bundles

12.00: Harold Simmons (Aberdeen) Krull and Gabriel dimension

Thirty-first Meeting: Rixensart, 1--2 June 1985

Saturday

09.30: Jean Bénabou (Paris-Nord) Some elementary facts about Grothendieck topologies

11.00: Murray Adelman (Macquarie) Derived functors as a unary operation

11.30: Cristina Pedicchio (Trieste) Boolean algebras in a localic topos

14.30: Adam Verschoren (Antwerp) Sheaves in non-commutative algebraic geometry

15.15: Barbara Veit (Roma) Classifying objects for algebraic categories

16.30: Barry Mitchell (Rutgers) A little theorem about coherence

17.15: Dominique Bourn (Amiens) Higher cohomology groups as classes of group actions

Sunday

09.30: Eduardo Dubuc (Buenos Aires) Open and étale maps

11.00: Chris Mulvey (Sussex) Points of compact regular locales

11.45: Yves Diers (Valenciennes) Disjoint pairs and disjunctors

Thirty-second Meeting: Sussex, 7--8 December 1985

Saturday

10.30: Gavin Wraith (Sussex) Internal categories in internal categories in ....

11.30: Harold Simmons (Aberdeen) Gabriel--Krull versus Cantor--Bendixson

14.15: Francis Borceux (Louvain) Answering a question by Anders Kock

15.30: Andy Pitts (Sussex) Typos theory?

16.30: Peter Aczel (Manchester) Two final coalgebra theorems

Sunday

10.15: Edmund Robinson (Cambridge) Power domains

11.30: Tim Porter (Bangor) Coherent ends---applications