Simon Henry

collaborators

2 papers

math.CT2023

A Classifying groupoid for compact Hausdorff locales

Simon Henry, Christopher Townsend

We construct a localic groupoid $G_{K H}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a categor…

math.CT2022

Compact Hausdorff Locales in presheaf toposes

Simon Henry, Christopher Townsend

We prove that for any small category $C$ , the category $KHausLoc_{C^}$ of compact Hausdorff locales in the presheaf topos $C^$ , is…