Grothendieck's Extension of the Fundamental Theorem of Galois Theory in Abstract Categories

摘要

Contravariant Galois adjunctions and two associated antiequivalences are constructed. By means of completion semimonadic functors, the analogs of Grothendieck's extension of the Galois theory fundamental theorem are obtained in abstract categories.