Compact Hausdorff Locales in presheaf toposes
arXiv:2208.04228
Abstract
We prove that for any small category , the category of compact Hausdorff locales in the presheaf topos , is equivalent to the category of functors .
10 pages
arXiv:2208.04228
We prove that for any small category , the category of compact Hausdorff locales in the presheaf topos , is equivalent to the category of functors .
10 pages