Topos Theory Seminar
Spring 2004

Organizers: Lars Birkedal, birkedal@itu.dk, Room 2.21, 3816 8868
Carsten Butz, butz@itu.dk, Room 1.17, 3816 8820

This is a Ph.D. seminar in which we study aspects of topos theory relevant to computer science. After having read material from Peter Johnstone's opus Sketches of an Elephant: A Topos Theory Compendium and Lambek/Scott's Introduction to higher order categorical logic we plan to continue in F2004 with

  • Mac Lane/Moerdijk: Sheaves in Geometry and Logic Springer-Verlag 1992. Additional material can be found in Jaap van Oosten's notes on Basic Category Theory.

    The main goal of the seminar this spring is to get up to the so-called classifying topos theorem. We will read a condensed version of Mac Lane/Moerdijk, the course notes of a course given at BRICS in 1997.

    To gain credit for this 7.5 ECTS seminar you have to participate actively in the discussions. Moreover, you have to take responsibility for at least one topic, stretching usually over more than a week.

    Meeting time: We meet on Fridays, 14:00--15:30, Room 2.03.

    Participants:

    (birkedal@itu.dk, butz@itu.dk, volodya@itu.dk, hilde@itu.dk, mogel@itu.dk, noah@itu.dk, nina@itu.dk, m98rlp@math.ku.dk, bodil@math.ku.dk, m98mb@math.ku.dk)

    Schedule:

    Date Speaker Reading
    Fri Feb 13  CB Introduction
    Fri Feb 20  MB Section 1
    Fri Feb 27  RLP Section 2
    Fri March 5   LB Section 3, 4
    Fri March 12   LB continued
    Fri March 19   BB Section 5, 6
    Fri March 26   CB Section 7, 8
    Fri April 2  CB continued
    Fri April 16   NTS Section 9
    Fri April 23   NTS Section 10
    Fri April 30   CB Section 11
    Fri May 14   VS Section 12
    Fri May 21   ?? Section 13
    Fri May 28   ?? Section 14