Prof. Caramello's and her PhD students' talks inspired me to write up the following, it is modeled on the definition of algebraic stacks in algebraic geometry.

We seek to understand topoi as a certain class of stacks on the big site Sp of locales with étale covers (if you restrict to topoi with enough points, you can take sober topological spaces), that are of the form for a topos . Here Core denotes the maximal subgroupoid of a category.

The first insight (which was essentially mentioned by Prof. Caramello in her talk) is that by weak left Kan extending the functor along the Yoneda embedding , we get a (2,1)-adjunction ( is the maximal sub-(2,1)-category):

and

defined by

The idea now is to characterize topoi as the* quotient stacks* of localic groupoids: We claim a stack on is in the essential image of iff:

- The diagonal is representable i.e. for any representable functor for a locale and map , the pullback along is again representable.

This corresponds to the fact, that the diagonal morphism of a topos is a localic geometric morphism. Thus, the base change of the diagonal along any map will be a localic geometric morphism with target and hence a localic topos itself. - There exists a locale and a map with the following property: For any locale and map , the base-change (which is representable by a locale which follows from (i)) corresponds to an open surjection of locales . This corresponds to the fact, that any topos admits an open surjective geometric morphism from a localic one.

From this data, we can reconstruct a localic groupoid and hence a topos.

This presentation would be more convenient than the localic groupoids themselves, because they tend to be rather big and complicated. For the same reason, algebraic stacks instead of "smooth groupoids in algebraic spaces" are used in algebraic geometry.

My question is now, whether this is a well-known characterization. And if not, whether this is actually correct and if somebody wants to help me with working out the details.