classifying topos of a localic groupoid

under construction – am being interrupted…

The *classifying topos of a localic groupoid* $\mathcal{G}$ is a an incarnation of a localic groupoid in the world of toposes. At least in good cases, geometric morphisms into it classify $\mathcal{G}$-principal bundles.

Recall that a localic groupoid is a groupoid $\mathcal{G} = (\mathcal{G}_1 \stackrel{\to}{\to} \mathcal{G}_0)$ internal to locales/Grothendieck-(0,1)-toposes.

Let $N_\bullet \mathcal{G} : \Delta^{op} \to Locales$ be the simplicial object in locales given by the nerve of $\mathcal{G}$. By applying the sheaf topos functor $Sh : Locale \to Topos$ to this, we obtain a simplicial topos $Sh(N \mathcal{G}) : [n] \mapsto Sh(N_n \mathcal{G})$. Let $tr_2 Sh(N \mathcal{G})$ be its 2-truncation, then the 2-colimit

$Sh(\mathcal{G})
:=
\lim_{\to_{[n]}} tr_2 Sh(N_\bullet \mathcal{G})$

in the 2-category of toposes? is called the classifying topos of $\mathcal{G}$.

This has an explicit description along the lines discussed at sheaves on a simplicial topological space.

**Proposition** (Joyal-Tierney)

For every Grothendieck topos $E$ there is a localic groupoid $\mathcal{G}$ such that $E \simeq Sh(\mathcal{G})$.

The original result appears in

- Andre Joyal, M. Tierney,
*An extension of the Galois theory of Grothendieck*Mem. Amer. Math. Soc. no 309 (1984)

An extension of the equivalence to morphisms is discussed in

- Ieke Moerdijk,
*The classifying topos of a continuous groupoid I*, Trans. Amer. Math. Soc. Volume 310, Number 2, (1988)

The above equivalence of categories can in fact be lifted to an equivalence between the bicategory of localic groupoids, complete flat bispaces, and their morphisms and the bicategory of Grothendieck toposes, geometric morphisms, and natural transformations. The equivalence is implemented by the classifying topos functor, as explained in

- Ieke Moerdijk,
*The classifying topos of a continuous groupoid II*, Cahiers de topologie et géométrie différentielle catégoriques 31, no. 2 (1990), 137–168.

Revised on October 23, 2011 15:30:27
by Dmitri Pavlov
(87.123.205.158)