PSSL 86

Saturday: 10.15: Andy Pitts (Sussex) Localoids; 11.30: Yves Diers (Valenciennes) Codisjunctors and singular epimorphisms in commutative algebra; 14.00: Peter Johnstone (Cambridge) Realcompact locales revisited (at last!); 14.45: Eugenio Moggi (Edinburgh) Polymorphism and internal categories; 16.00: Martin Hyland (Cambridge) Appendix to Moggi's talk; 16.30: Paul Taylor (Cambridge) Categories with fixpoint properties
Sunday: 10.00: Francis Borceux (Louvain) Some locales of nuclei; 11.15: Fer-Jan de Vries (Utrecht) Subalgebras as truth-values

Saturday: 09.45: Mike Fourman (Brunel) Algebraic treatment of composition, hiding and restriction; 11.00: Yves Diers (Valenciennes) Codisjunctors in categories of ordered rings; 11.45: Cristina Pedicchio (Trieste) Primes in a localic topos; 14.00: Peter Johnstone (Cambridge) Further thoughts on the Cantor--Bernstein theorem; 14.45: Pascal Dupont (Louvain) Projectivity in a localic topos; 15.30: Dominique Bourn (Amiens) Shift functors for groupoids; 16.30: Martin Hyland (Cambridge) A question about ends; 17.15: Paul Taylor (Cambridge) The domain of domains
Sunday: 09.30: Anders Kock (Aarhus) More on convenient vector spaces; 10.45: John Power (Sydney) Categories with structure; 11.30: Robert Dawson (Cambridge) What is revealed by a topless convexity

Saturday: 10.15: Chris Mulvey (Sussex) The maximality of filters; 11.45: Gavin Wraith (Sussex) Flow diagrams and functional languages; 14.00: Andy Pitts (Sussex) Cofaithful interpretations between geometric theories; 15.00: Yves Diers (Valenciennes) How many De Morgan laws are there?; 16.30: Ieke Moerdijk (Amsterdam) Prodiscrete groups; 17.00: Harold Simmons (Aberdeen) Discreteness for spaces and modules
Sunday: 10.15: Mambu Mawanda (Louvain) Ensembles L-flous comme sous-ensembles généralisées; 11.00: Giuseppe Rosolini (Parma) Discrete and modest sets; 11.30: Peter Johnstone (Cambridge) Weak products of locales