Introduction to Topos Theory

Relatore:  Iosif Petrakis - Universität München, Germania
  lunedì 19 giugno 2017 alle ore 16.00
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


Peter Michael Schuster

Data pubblicazione
25 gennaio 2017

Offerta formativa