Main theorem in categorical Galois theory (Q1896901)

The paper consists of three sections. In section one the author studies groups and semigroups in a standard way associated with an arbitrary morphism in an abstract category. In section two the notion of stabilization is defined and its properties examined. A generalization of the statement of classical Galois theory that an intermediate field \(E\) is a Galois extension of \(K\) if and only if it corresponds to a normal subgroup \(H\) of the Galois group \(G\), is proved. In section three some generalizations of the bijective Galois correspondence between the intermediate fields and subgroups of the Galois group are obtained.