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


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.


We have organised a dinner on Friday evening 19:00 at the conference centre.

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

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


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