Could not include topos theory - contents
The notion of -topos is that of topos in the context of (0,1)-category theory.
The notion of -topos is essentially equivalent to that of Heyting algebra; similarly, a Grothendieck -topos is a locale.
Notice that every -Grothendieck topos comes from a localic groupoid, i.e. a groupoid internal to locales, hence a groupoid internal to -toposes. See classifying topos of a localic groupoid for more.
section 6.4.2 of
Revised on November 27, 2012 11:01:19
by Urs Schreiber