A classification theorem for normal extensions

Mathieu Duckerts-Antoine,Tomas Everaert
DOI: https://doi.org/10.48550/arXiv.1604.02604
2016-04-10
Abstract:For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we interpret the normalisation functor as a Kan extension of the trivialisation functor.
Category Theory
What problem does this paper attempt to address?