Representing topoi by topological groupoids (Q1295576): Difference between revisions

It is shown in this paper that every topos with enough points is equivalent to the classifying topos of a topological groupoid. Representations of categories of sheaves by groupoids can be traced back to \textit{A. Grothendieck}'s Galois theory [SGA 1, Lect. Notes Math. 224 (1971; Zbl 0234.14002)]. \textit{A. Joyal} and \textit{M. Tierney} [Mem. Am. Math. Soc. 309 (1984; Zbl 0541.18002)], have already shown a similar result for toposos (not necessarily with enough points), which was sharpened by \textit{A. Joyal} and \textit{I. Moerdijk} [Adv. Math. 80, No. 1, 22-38 (1990; Zbl 0783.18004)]. The main result of this paper is not a formal consequence of these predecessors.