论文标题
Presheaf Persoses中紧凑的Hausdorff地区
Compact Hausdorff Locales in presheaf toposes
论文作者
论文摘要
我们证明，对于任何小型类别$ \ MATHCAL {C} $，类别$ \ Mathbf {Khausloc} _ {\ hat {\ hat {\ hatcal {\ hatcal {c}} $ compact hausdorff e presheaf presheaf topos $ \ hat fort { $ \ Mathcal {C} \ to \ Mathbf {Khausloc} $。
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}$.
