- Universität München, Germania
Monday, June 19, 2017
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