75th Peripatetic Seminar on Sheaves and Logic
75th Peripatetic Seminar on Sheaves and Logic
9-10 June, 2001
Institut Mittag-Leffler, Stockholm, Sweden
The 75th meeting of the Peripatetic Seminar on Sheaves and Logic
will be held at the
Institut Mittag-Leffler, Stockholm,
on the week-end of 9-10 June 2001. As usual, we invite
contributions from anyone interested in the application of
categorical and sheaf theoretic methods in logic and related areas.
If you wish to attend, please make a copy of the
registration form
and send it to Anders Kock or Erik Palmgren
as soon as
possible, and in any case before the end of May. The number of
participants is for physical reasons limited to 30.
The meeting may be seen as a satelitte event of the
Logic Year,
which is taking place at the Mittag-Leffler Institute;
a number of colleagues with interest in Sheaves and Logic are
scheduled to be present in Stockholm during the period, in the
context of the Logic Year.
Programme
-
Saturday June 9
-
09.30-09.40: Opening
-
09.40-10.20: Peter Johnstone:
Another proof of stability for tidy morphisms
-
10.25-10.55: Panagis Karazeris:
Injectives for dense inclusions of toposes
-
10.55-11.15: COFFEE BREAK
-
11.25-11.45: Jiri Velebil:
Reflective and coreflective subcategories of
presheaves
-
11.50-12.20: Nicola Gambino:
Collection principles in dependent type theory
-
12.20-12.40: Peter Aczel: Do real numbers form a set?
-
12.40-14.15: LUNCH BREAK
-
14.15-14.45: Thierry Coquand: Constructive analysis of Krull's
principal ideal theorem with sheaf models
-
14.45-15.05: Maria Emilia Maietti: Arithmetic universes as pretoposes with
parametrized list objects
-
15.10-15.35: Andrej Bauer: Bracket types and regular categories
-
15.35-16.00: COFFEE BREAK
-
16.00-16.30: Eugenia Cheng: Universal cells in weak n-categories
-
16.30-17.00: Sjoerd Crans: Ingredients for an operadic approach
to teisi
-
17.00-17.30: Tom Leinster: An overview of operads and
multicategories
-
19.30: Smörgåsbord at Djursholms Värdshus (for registered
participants and invited guests).
-
Sunday June 10
-
09.45-10.15: Dana Scott: Equilogical spaces
-
10.20-10.40: Giovanni Sambin: Meet, fundamental symmetry
and definitions in constructive topology
-
10.40-11.00: COFFEE BREAK
-
11.00-11.30: Luigi Santocanale: A calculus of circular proofs and its
categorical semantics
-
11.30-12.00: Stefan Milius: Infinite trees and (completely)
iterative monads
-
12.00-12.30: Peter Dybjer: Sheaves and normalization in cartesian closed
categories with coproducts
- Closing
Registered Participants
| Peter Aczel (Manchester) | Pieter Hofstra
(Utrecht) | Justin Pearson (Uppsala) |
| Steve Awodey (Pittsburgh) | Peter Johnstone (Cambridge)
| Luis Pinto (Braga) |
| Andrej Bauer (Pittsburgh) | Panagis Karazeris (Patras)
| John Power (Edinburgh) |
| Aurelio Carboni (Genova) | Anders Kock (Aarhus)
| Guiseppe Rosolini (Genova) |
| Eugenia Cheng (Cambridge) | Tom Leinster (Cambridge) | Ivar
Rummelhoff (Oslo) |
| Thierry Coquand (Gothenburg) | Ingrid Lindström
(Uppsala) | Giovanni Sambin (Padova) |
| Sjoerd Crans (Nice) | Maria Emilia Maietti
(Padova) | Luigi Santocanale (Aarhus) |
| Peter Dybjer (Gothenburg) | Matias Menni (Edinburgh)
| Dana Scott (Pittsburgh) |
| Jonas Eliasson (Uppsala) | Stefan Milius (Braunschweig)
| Viggo Stoltenberg-Hansen (Uppsala) |
| Nicola Gambino (Manchester) | Ieke Moerdijk
(Utrecht) | Christopher Townsend (London) |
| Claudio Hermida (Lisbon) | Erik Palmgren (Uppsala)
| Jiri Velebil (Prague) |
Organising committee
- Anders Kock, Aarhus University
- Dana Scott, Carnegie-Mellon University
- Erik Palmgren, Uppsala University
Venue
Institut Mittag-Leffler, Auravägen 17, S-182 60 Djursholm, Sweden.
Directions to the institute
can be found here .
Accomodation
Recommended hotels
near the Mittag-Leffler institute. Directions to the hotels can be
found here.
Other hotels can be found
here. (Look for "Stockholmspaketet". )
Sponsor
The
Department of Mathematics at
Uppsala University.
This page (http://www2.math.uu.se/~palmgren/pssl75) was last updated
June 11, 2001, by Erik Palmgren