Shapes and locally constant sheaves

Shapes and locally constant sheaves

Marc Hoyois (Regensburg)

If X is a connected and locally connected topological space, there exists a pro-group G such that the category of covering spaces over X is equivalent to that of G-sets. I will explain how this statement and related ones (e.g. the Galois correspondence for fields) fit in the context of higher topos theory and shape theory.