Topoi with enough points and topological groupoids

2024/08/28 by Joshua Wrigley, Wrigley, Joshua
Computer Science · Mathematics · #03G30 #18B25 (Primary) #22A22 (Secondary) #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis

paper · pdf · doi:10.48550/arxiv.2408.15848

openalex publication_date 2024/08/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids

Related

• Extendibility, monodromy and local triviality for topological groupoids
• Equivalence de la théorie homotopique des n-groupoïdes et celle des espaces topologiques n-tronqués
• Generalised ultracategories and conceptual completeness of geometric logic
• A topological groupoid representing the topos of presheaves on a monoid
• A groupoid formulation of the Baire Category Theorem