After a streamlined introduction of Grothendieck's theories of Galois categories, topoi, descents, and tannakian categories,
I will sketch "kosmic Grothendieck-Galois theory" developed with my student JH Lee.