Australian Category Seminar

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