This generalizes to a relation between the basic group (which classifies overlaying areas in topology) and the Galois group (which classifies sure field extensions). Certainly, Grothendieck’s idea of the étale basic group... Read more »