We will start our seminar on Thursday, January 24, in M5 at 1pm.

Giulio Lo Monaco

On two extensions of the notion of oo-topos

Abstract:

The two notions of elementary oo-topos and oo-pretopos as in the title should hopefully be the correct analog of their counterparts in ordinary topos theory. The focus here will be put on their precise relationship with the much better known oo-toposes. In particular, under suitable set-theoretical assumptions, both of these classes of objects contain the class of geometric oo-toposes, and they do so strictly, for which explicit counterexamples can be provided.