He also provided an algebraic definition of fundamental groups of schemes and more generally the main structures of a categorical Galois theory.
Έδωσε επίσης ένα αλγεβρικό ορισμό των θεμελιωδών ομαδικών συστημάτων και γενικότερα τις βασικές δομές της θεωρίας Γκαλουά σε κατηγορίες.