80th Peripatetic Seminar on Sheaves and Logic

3-4 April, 2004
Cambridge, UK

The conference will be based at Newnham College, Cambridge, with talks being held at the Centre for Mathematical Sciences (CMS).

Contacts

Any queries may be addressed to the organizers:

Eugenia Cheng (e.cheng@dpmms.cam.ac.uk)
Martin Hyland (martin@dpmms.cam.ac.uk)
Peter Johnstone (ptj@dpmms.cam.ac.uk)

Logistical questions should be addressed to Eugenia Cheng.

On this website you can find the following information:

First announcement

Second announcement

Addendum

Third announcement

Travel information

And below:

Programme
Participants
Schedule

Programme

Friday 2nd April

12.00 onwards: check-in for residents at Newnham College

19.00 onwards: wine and cheese reception for all, at Sidgwick Hall, Newnham College

Saturday 3rd April

8.00-9.00: breakfast for residents at Newnham College

9.10-10.35: talks

10.35-11.10: coffee break

11.10-12.35: talks

12.45-13.45: lunch at Newnham College

15.00-16.25: talks

16.25-17.00: coffee break

17.00-18.25: talks

19.30: dinner at "The Bun Shop" Tapas Bar

Sunday 4th April

8.00-9.00: breakfast for residents at Newnham College

9.10-10.35: talks

10.35-11.10: coffee break

11.10-12.35: talks

12.45-13.45: lunch at Newnham College

15.00-16.25: talks

16.25-17.00: coffee to finish

Participants

to be updated regularly

Name	Affiliation	Talk	Nights
Pierre Ageron	Université de Caen	-	2,3
Bassam Baki	Université de Caen	-	2,3
Francis Borceux	Université de Louvain	-	2,3
Dominique Bourn	Université du Littoral, Calais	On the direct image of intersections in the exact homological categories	2,3,4
Ronnie Brown	University of Wales, Bangor	Nonabelian algebraic topology	2,3
Eugenia Cheng	University of Cambridge		-
Martin Escardo	University of Birmingham	Synthetic topology	2,3,4
Tomas Everaert	Vrije Universiteit Brussel	-	2,3
Marcelo Fiore	University of Cambridge	-	-
Christopher Fox	Manchester University	-	-
Jonathan Funk	University of Regina, Saskatchewan	Definable completeness	2,3,4
Nicola Gambino	University of Cambridge		-
Richard Garner	University of Cambridge		-
Keith Hardie	University of Capetown	A twisted triple category of 2-track-commutative cubes	2,3,4
Robin Houston	Manchester University	-	3
Martin Hyland	University of Cambridge		-
Peter Johnstone	University of Cambridge		-
Klaus Heiner Kamps	FernUniversität, Hagen	A van Kampen theorem for the homotopy double groupoid of a Hausdorff space	2,3
Toby Kenney	University of Cambridge	-	-
Rudger Kieboom	Vrije Universiteit Brussel	-	2,3,4
Jürgen Koslowski	TU Braunschweig	Categorical transition systems and the comprehension scheme	2,3
Claire Kouwenhoven-Gentil	Utrecht University	Algebraic set theory in the effective topos	2,3
Aaron Lauda	University of Cambridge		-
Tom Leinster	University of Glasgow	Self-similarity	-
Gábor Lukács	Universität Bremen	Progress report: on lifted closure operators	2,3,4,5
Don MacInnes	Manchester University	A different look at structure-preserving free completions	2,3,4
Kirill Mackenzie	University of Sheffield	-	-
Grant Malcolm	University of Liverpool	-	2,3
Ieke Moerdijk	Utrecht University	-	-
Rasmus Møgelberg	IT University of Copenhagen	Categorical models of parametric polymorphisms	2,3,4,5
Bernhard Reus	University of Sussex	-	2,3
Jiri Rosicky	Masaryk University, Brno	Accessible quotients and homotopy	2,3
David Rydeheard	Manchester University	-	-
Vincent Schmitt	Leicester University	Parametrised accessibility	2,3
Harold Simmons	Manchester University	-	2,3,4
Sam Staton	University of Cambridge	-	-
Richard Steiner	University of Glasgow	Omega-categories and chain complexes	-
Thomas Streicher	TU Darmstadt	-	2,3,4
Paul Taylor	Manchester University	tba	2,3
Christopher Townsend	Open University	Effective descent via natural transformations	2,3
Giorgio Trentinaglia	University of Padova	-	2,3,4
Benno van den Berg	Utrecht University	Inductive types and exact completion	2,3
Tim Van der Linden	Vrije Universiteit Brussel	-	2,3
Jiri Velebil	Czech TU, Prague	Connected morphisms of monads	2,3
Steve Vickers	University of Birmingham	The double powerlocale and its relationship to lots of things	2,3
Graham White	Queen Mary, University of London	-	-
Olov Wilander	Uppsala University	-	-
Krzysztof Worytkiewicz	none	A model structure à la Thomason on 2-Cat	2,3

Schedule

Saturday 3rd April
9.10 - 9.35	Jiri Rosicky	Accessible quotients and homotopy
9.40 - 10.05	Jürgen Koslowski	Categorical transition systems and the comprehension scheme
10.10 - 10.35	Benno van den Berg	Inductive types and exact completion
C O F F E E B R E A K
11.10 - 11.35	Paul Taylor	tba
11.40 - 12.05	Claire Kouwenhoven-Gentil	Algebraic set theory in the effective topos
12.10 - 12.35	Jiri Velebil	Connected morphisms of monads
L U N C H
15.00 - 15.25	Dominique Bourn	On the direct image of intersections in the exact homological categories
15.30 - 15.55	Gábor Lukács	Progress report: on lifted closure operators
16.00 - 16.25	Rasmus Møgelberg	Categorical models of parametric polymorphisms
C O F F E E B R E A K
17.00 - 17.25	Keith Hardie	A twisted triple category of 2-track-commutative cubes
17.30 - 17.55	Klaus Heiner Kamps	A van Kampen theorem for the homotopy double groupoid of a Hausdorff space
18.00 - 18.25	Ronnie Brown	Nonabelian topology
D I N N E R 19.30

Sunday 4th April
9.10 - 9.35	Tom Leinster	Self similarity
9.40 - 10.05	Richard Steiner	Omega-categories and chain complexes
10.10 - 10.35	Krzysztof Worytkiewicz	A model structure à la Thomason on 2-Cat
C O F F E E B R E A K
11.10 - 11.35	Steve Vickers	The double powerlocale and its relationship to lots of things
11.40 - 12.05	Martin Escardo	Synthetic topology
12.10 - 12.35	Don MacInnes	A different look at structure-preserving free completions
L U N C H
15.00 - 15.25	Vincent Schmitt	Parametrised accessibility
15.30 - 15.55	Jonathan Funk	Definable completeness
16.00 - 16.25	Christopher Townsend	Effective descent via natural transformationsolymorphisms
C L O S I N G C O F F E E

This site is maintained by Eugenia Cheng. You can e-mail me at e.cheng@dpmms.cam.ac.uk

Last updated 2nd April 2004