## Reading Course in Topos Theory, Spring 2012

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, but 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.
- Research papers

### Schedule

The first meeting will take place on ** Friday 27 January, **10.00-12.00, in room 306, building 6,
Department of Mathematics, Kräftriket, Stockholm.
The undersigned will make a brief introduction to the course. Then we decide on the remaining
schedule (or at least when to meet next).
- Handout 1
- Handout 2

*January 27, 2012, Erik Palmgren.* Email: palmgren (at) math (dot) su (dot) se