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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    topos
    0 references
    enough points
    0 references
    topological groupoid
    0 references
    categories of sheaves
    0 references