Topoi with enough points and 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