Janelidze's Categorical Galois Theory as a step in the Joyal and Tierney\n result

2018/12/28 by Christopher D. Townsend, Townsend, Christopher
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology

paper · pdf · doi:10.48550/arxiv.1812.10941

openalex publication_date 2018/12/28 · openalex created_date 2022/08/01 · openalex updated_date 2026/07/28

Abstract

We show that a trivial case of Janelidze's categorical Galois theorem can be\nused as a key step in the proof of Joyal and Tierney's result on the\nrepresentation of Grothendieck toposes as localic groupoids. We also show that\nthis trivial case can be used to prove the general categorical Galois theorem\nby using a rather pleasing technical result about sliced adjunctions.\n

Related

• On the Galois Theory of Grothendieck
• The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem
• On the representation theory of Galois and Atomic Topoi
• Topological Galois Theory
• Localic Galois Theory