References & Citations
Mathematics > Category Theory
Title: Compact Hausdorff Locales in presheaf toposes
(Submitted on 8 Aug 2022)
Abstract: We prove that for any small category $\mathcal{C}$, the category $\mathbf{KHausLoc}_{\hat{\mathcal{C}}}$ of compact Hausdorff locales in the presheaf topos $\hat{\mathcal{C}}$, is equivalent to the category of functors $\mathcal{C} \to \mathbf{KHausLoc}$.
Link back to: arXiv, form interface, contact.