Topoi with enough points and topological groupoids

TL;DR

This paper demonstrates a bi-equivalence between the category of topoi with enough points and a localized subcategory of topological groupoids, linking topos theory with topological groupoid structures.

Contribution

It establishes a new bi-equivalence connecting topoi with enough points to a localized class of topological groupoids, enriching the understanding of their relationship.

Findings

Bi-equivalence between topoi with enough points and localized topological groupoids

New categorical linkages in topos and topological groupoid theory

Enhanced understanding of the structure of topoi via topological groupoids

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