Erik Palmgren: Topos theory
Tid: Fr 2012-01-27 kl 10.00 - 12.00
Plats: Room 306, House 6, Kräftriket, Department of Mathematics, SU
The reading group will meet approximately every second week during January - May 2012. Meetings will be spent discussing texts read and/or presentating selected material. This PhD course will give 7,5 or 10 hp depending on the amount of work done.
The course is intended to give an introduction to the theory of toposes, both Grothendieck toposes (sheaves over generalised spaces) and elementary toposes and their generalisations.
The precise content of the course depend on the interests of the participants. The reading material will mainly be selected from
S. Mac Lane, I. Moerdijk. Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer 1992.
J. Lambek and P.J. Scott. Introduction to Higher Order Categorical Logic. Cambridge University Press 1986.
P.T. Johnstone. Sketches of an Elephant. A Topos Theory Compendium. Vol I and II. Oxford University Press 2002.
C. McLarty. Elementary Categories, Elementary Toposes. Oxford University Press 1992.
Schedule
The first meeting will take place on Friday 27 January, 10.00-12.00, in room 306, building 6, Department of Mathematics, Stockholm University, Kräftriket. The undersigned will then make a introduction to the material of the readingcourse. We aksi decide on the remaining schedule (or at least when to meet next).
Further information about the course will appear on the web page