Galois theory and theaters of action in a topos
Galois theory for a geometric field extension in a topos
scientific article; zbMATH DE number 3691543