Grothendieck's Galois theory

In mathematics, Grothendieck's Galois theory is an abstract approach to the Galois theory of fields, developed around 1960 to provide a way to study the fundamental group of algebraic topology in the setting of algebraic geometry. It provides, in the classical setting of field theory, an alternative perspective to that of Emil Artin based on linear algebra, which became standard from about the 1930s.

The theory of Grothendieck, published in SGA1, shows how to reconstruct the category of G-sets from a fibre functor Φ, which in the geometric setting takes the fibre of a covering above a fixed base point (as a set). In fact there is an isomorphism proved of the type

the latter being the group of automorphisms (self-natural equivalences) of Φ. An abstract classification of categories with a functor to the category of sets is given, by means of which one can recognise categories of G-sets for G profinite.

To see how this applies to the case of fields, one has to study the tensor product of fields. In topos theory this is a part of the study of atomic toposes.