Elementary topology of champs
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely convenient global atlas, i.e. the path space, which permits an immediate importation of the familiar definitions of homotopy groups and covering spaces as encountered in elementary text books. In the second place, it provides the adjoint to Giraud's co-homology, i.e. the homotopy 2-group $Π_2$, by way of the 2-Galois theory of covering champs. In the sufficiently path connected case this is achieved by much the same construction employed in constructing 1-covers, i.e. quotients of the path space by a groupoid. In the general case,so inter alia the pro-finite theory appropriate for algebraic geometry, the development parallels the axiomatic Galois theory of SGA1. The resulting explicit description of the homotopy 2-type can be applied to prove theorems in algebraic geometry: optimal generalisations to $Π_2$ (by a very different method, which even gives improvements to the original case) of the Lefschetz theorems (over a locally Noetherian base) of SGA2, and a counterexample to the extension from co-homology to homotopy of the smooth base change theorem. These limited goals are achieved, albeit arguably at the price of obscuring the higher categorical structure, without leaving the 2-category of groupoids.
