The locally connected classifying topos
Richard Garner – 18 April 2018
The classifying topos of a coherent theory T is the universal Grothendieck topos containing a model of T. In this talk I will describe the locally connected classifying topos, that is, the universal locally connected Grothendieck topos containing a model of T.
Back