Introduction to Topos Theory

Introduction to Topos Theory
Speaker:  Iosif Petrakis - Universität München, Germania
  Monday, June 19, 2017 at 4:00 PM
Topos theory can be seen as a generalization of set theory, since a topos is a special category defined in such a way that certain set-constructions can be done in it, and as an abstraction of the category of sheaves of sets on a topological space. 
We provide all tools from category theory necessary to the definition of a topos and we study specific toposes. We explain how logic can be interpreted in a topos and we investigate the geometry of a Grothendieck topos. Special effort will be given to having a self-contained presentation.

The course will last for 16 hours and will be held in Aula M as follows: 
lun 19/06 (3h) ore 16.00 - 19.00
mar 21/06 (3h) ore 9.30 - 12.30
gio 22/06 (3h)  ore 9.30 - 12.30
mer 28/06 (4h) ore 9.30 - 13.30
gio 29/06 (3h)  ore 9.30 - 12.30


Programme Director
Peter Michael Schuster

External reference
Publication date
January 25, 2017