Representing topoi by topological groupoids (Q1295576)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representing topoi by topological groupoids |
scientific article |
Statements
Representing topoi by topological groupoids (English)
0 references
10 November 1999
0 references
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.
0 references
topos
0 references
enough points
0 references
topological groupoid
0 references
categories of sheaves
0 references