A Classifying groupoid for compact Hausdorff locales

Simon Henry, Christopher Townsend

We construct a localic groupoid ${\mathbb{G}}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a categor…