98th Peripatetic Seminar on Sheaves and Logic
9 and 10 January 2016
Doorn, the Netherlands
Dear all,
We are happy to announce the 98th Peripatetic Seminar on Sheaves and Logic, which will take place during the weekend of 9 and 10 January 2016 in Doorn, the Netherlands. As usual, we invite talks on every aspect of category theory or its applications in mathematics.
We look forward to seeing you in the new year!
The organisers
Benno van den Berg
Ieke Moerdijk
Jaap van Oosten
Location
We have booked a conference centre in a wooded area near the University of Utrecht, which offers full board and lodging and lecture room facilities. The costs for this will be covered by a grant from the Netherlands Organisation for Scientific Research (NWO).
The postal address of the conference centre is:
Kaap Doorn Conferentiecentrum
Postweg 9
3941 KA Doorn
The Netherlands
Phone: +31 (0)343-414241
E-mail: info@kaapdoorn.nl
The web site of the conference centre can be found here.
Programme
We have organised a dinner on Friday evening 19:00 at the conference centre.
SATURDAY 9 JANUARY 9:30 Streicher Spectral theory for effects from the point of view of computable analysis 10:15 Roumen Cohomology of effect algebras 11:00 Break 11:30 Spitters Cubical sets as a classifying topos 12:15 Henry Operator algebras from toposes 13:00 Lunch 15:00 Nuiten Minimal fibrations in Reedy-like model categories 15:45 Heuts Goodwillie towers of categories 16:30 Break 17:00 Koudenburg A double-dimensional approach to formal category theory 17:45 Riehl A model-independent calculus of pointwise Kan extensions for ∞-categories 18:30 Finish 19:00 Dinner
SUNDAY 10 JANUARY 9:30 Lumsdaine Blow-up arguments for independence results in toposes 10:15 Koslowski Cat is linearly distributive in several different ways 11:00 Break 11:30 Zawadowski Weight for objects of monoids 12:15 Adámek Profinite monads 13:00 Lunch
Registered participants
- Jiří Adámek (Braunschweig)
- Thomas Avery (Edinburg)
- Benno van den Berg (Amsterdam)
- Nils Donselaar (Utrecht)
- Eric Faber (Cambridge)
- Daniil Frumin (Amsterdam)
- Anton Golov (Utrecht)
- Javier Gutiérrez (Nijmegen)
- Sina Hazratpour (Birmingham)
- Simon Henry (Paris)
- Gijs Heuts (Copenhagen)
- Pol van Hoften (Utrecht)
- Peter Johnstone (Cambridge)
- Roald Koudenburg
- Jürgen Koslowski (Braunschweig)
- Peter LeFanu Lumsdaine (Stockholm)
- Sandra Mantovani (Milan)
- Giuseppe Metere (Palermo)
- Ieke Moerdijk (Utrecht)
- Joost Nuiten (Utrecht)
- Jaap van Oosten (Utrecht)
- Emily Riehl (Johns Hopkins)
- Frank Roumen (Nijmegen)
- Andrew Smith (Leicester)
- Bas Spitters (Aarhus)
- Thomas Streicher (Darmstadt)
- Marek Zawadowski (Warsaw)
Registration
Registration is now closed.
Travel information
From Schiphol airport, take any train (from platform 1-2) in direction Eindhoven or Nijmegen, and get off at Utrecht Centraal Station (Utrecht CS). From there, take bus 50 (direction Wageningen), which is a half hour service and takes you in 50 minutes to stop "Kaap Doorn" (where you get off).
More info about using public transport in the Netherlands can be found here http://9292.nl/en.
Last updated: 8 January 2016