THE PERIPATETIC SEMINAR ON SHEAVES AND LOGIC
Twenty-seventh Meeting: Paris, 3--4 March 1984
- Saturday
- 09.30: René Guitart (Paris VII) Catégories de modèles
- 10.05: Aurelio Carboni (Milano) Cartesian bicategories
- 11.00: Peter Johnstone (Cambridge) A topos-theorist looks at dilators
- 11.35: Ronnie Brown (Bangor) Crossed complexes and chain complexes with operators
- 14.15: Renato Betti (Milano) On cocompleteness of enriched categories
- 14.40: Martin Hyland (Cambridge) More on tiny objects
- 15.15: Jean Bénabou (Paris-Nord) Trees and forests
- 16.40: Yves Diers (Valenciennes) Sur la classification des catégories localement de présentation finie
- 17.15: Ieke Moerdijk (Amsterdam) Inverse limits of toposes
- Sunday
- 09.35: Barbara Veit (Roma) La convergence dans la sémantique catégorielle
- 10.10: Thierry Lucas (Louvain) Logiques modales
- 11.10: Francis Borceux (Louvain) Quantales and spectra
- 11.50: Christophe Houzel (Paris-Nord) Localisation analytique
- 14.50: René Lavendhomme (Louvain) Connexions en géométrie différentielle synthétique
- 15.20: Chris Mulvey (Sussex) Quantales and sheaves
- 15.50: Jean Bénabou (Paris-Nord) Ordinals and filtered colimits
Twenty-eighth Meeting: Amsterdam, 16--17 June 1984
- Saturday
- 10.00: Gonzalo Reyes (Montréal) Forcing smooth square roots and integration
- 11.30: Yves Diers (Valenciennes) Topological enrichment of essentially algebraic categories
- 14.30: Ieke Moerdijk (Amsterdam) Locally connected toposes
- 16.00: Anders Kock (AArhus) On constructing functors between Lie groups
- 17.00: Ngô van Que (Montréal) Bäcklund transformations
- Sunday
- 10.00: Gilberte van den Bossche (Louvain) Quantales and quantic spaces
- 11.30: Ieke Moerdijk (Amsterdam) Connected, locally connected toposes are path-connected
Twenty-ninth Meeting: Sussex, 3--4 November 1984
- Saturday
- 10.15: Peter Johnstone (Cambridge) When is a variety a topos?
- 11.30: Fer-Jan de Vries (Utrecht) The associated sheaf functor and generalized negative translation
- 12.15: Harold Simmons (Aberdeen) Boolean reflections of frames
- 14.15: Anders Kock (Aarhus) Convenient vector spaces and the Cahiers topos
- 15.20: Philip Higgins (Durham) Tensor products and hom functors for
-groupoids and crossed complexes
- 16.10: Ronnie Brown (Bangor) Crossed squares and tensor products
- 17.10: Gavin Wraith (Sussex) Homotopy of toposes: the unit interval re-enthroned
- Sunday
- 10.00: Chris Mulvey (Sussex) The logic of quantal sets
- 11.30: Mohammed Nawaz (Sussex) Localic groups
- 12.15: Francis Borceux (Louvain) Sheaves on a quantale
Back to the index