These notes describe the formalism of Galois categories and fundamental groups, as introduced by A. Grothendieck in [SGA1, Chap. V]. This formalism stems from Galois theory for topological covers and can be regarded as the natural categorical generalization of it. But, far beyond providing a uniform setting for the preexisting Galois theories as those of topological covers and field extensions, this formalism gave rise to the construction and theory of the étale fundamental group of schemes −one of the major achievements of modern algebraic geometry.
KeywordsGalois categories algebraic geometry étale fundamental group arithmetic geometry
Unable to display preview. Download preview PDF.