1: \begin{abstract}

2: We generalize toposic Galois theory to higher topoi.

3: We show that locally constant sheaves in a locally $(n-1)$-connected $n$-topos are equivalent to representations of its fundamental pro-$n$-groupoid, and that the latter can be described in terms of Galois torsors.

4: We also show that finite locally constant sheaves in an arbitrary $\infty$-topos are equivalent to finite representations of its fundamental pro-$\infty$-groupoid. Finally, we relate the fundamental pro-$\infty$-groupoid of $1$-topoi to the construction of Artin and Mazur and, in the case of the étale topos of a scheme, to its refinement by Friedlander.

5: \end{abstract}

6: