PSSL 92

Saturday: 10.00: Anders Kock (Aarhus) Monads for which structures are adjoint to units; 11.15: Thomas Streicher (Passau) Hyperdoctrines from modified realizability; 11.45: Paul Taylor (Imperial) Where does well-founded induction fit into category theory?; 14.15: Peter Johnstone (Cambridge) Fibrations and partial products in a 2-category; 15.25: Peter Aczel/Gilles Barthe (Manchester) Towards categorical models of constructive set theory; 16.00: Richard Banach (Manchester) Prefibrations and the Grothendieck preconstruction; 17.00: Murray Adelman (Macquarie) Sheaves and quantum logic
Sunday: 10.00: François Lamarche (ENS) Factorization systems and generalized toposes; 11.20: Bart Jacobs (Cambridge) In between intuitionistic logic and linear logic; 12.05: Barry Jay (Edinburgh) Tail recursion in a monoidal setting

Saturday: 09.30: Dana Scott (Linz) Remarks on the history of the Peripatetic Seminar; 09.50: Mark Lawson (Bangor) An embedding of inverse semigroups; 10.30: Cristina Pedicchio (Trieste) Mal'cev algebras; 11.30: Yves Diers (Valenciennes) Direct codisjunctors; 12.05: Ieke Moerdijk (Utrecht) Augmented linear orders; 12.35: Gavin Wraith (Sussex) A topos-theoretic look at Steenrod operations; 14.00: Steve Vickers (Imperial) Topical categories of domains; 14.45: Yves Lafont (LIENS) Equational reasoning with 2-dimensional diagrams; 16.00: Jirí Rosický (Brno) Locally weakly presentable categories; 16.30: John Longley (Edinburgh) Functors between realizability toposes; 17.00: Marcelo Fiore (Edinburgh) Domain theory in CPO-enriched categories
Sunday: 09.30: Anders Kock (Aarhus) Relative De Morgan toposes; 10.00: Max Kelly (Sydney) A categorical look at operads; 11.15: Dana Scott (Linz) Geometry via algebra; 12.10: Martin Hofmann (Edinburgh) A relational model for the calculus of constructions; 12.30: Thomas Streicher (München) Two notions of modified realizability sets