The fundamental progroupoid of a general topos (Q942202): Difference between revisions

The article defines the fundamental groupoid of any Groethendieck topos via the theory of covering projections developped here based on the earlier theory of locally connected topoi and the covers of not neccessarily locally connected topological spaces. Below is an informative, non-technical summary of the main results. First, it is shown that locally constant objects are equivalent to descent data, a locally constant object is the glue of constant objects existing locally. Covering projections are locally constant objects where the gluing morphisms are themselves locally constant. Second, the subcategory of sums of covering projections trivialized by a fix cover is an atomic topos classifying the localic groupoid of points associated to the cover. Via a limit procedure, this leads to the fundamental progroupoid as well as its classifiying topos: the category of covering projections. Finally, two examples of the theory are provided: (1) The progroupoid represent torsors over any group; (2) In the special case of topological spaces, the concrete meaning of the abstract notions is presented.