Topoi with enough points and topological groupoids
arXiv:2408.15848 · doi:10.1016/j.jpaa.2025.108073
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
31 pages