中文

预层topos中的紧Hausdorff locale

范畴论 2022-08-09 v1

摘要

我们证明:对任意小范畴 C\mathcal{C},预层topos C^\hat{\mathcal{C}} 中的紧Hausdorff locale 范畴 KHausLocC^\mathbf{KHausLoc}_{\hat{\mathcal{C}}},等价于函子范畴 CKHausLoc\mathcal{C} \to \mathbf{KHausLoc}

关键词

引用

@article{arxiv.2208.04228,
  title  = {Compact Hausdorff Locales in presheaf toposes},
  author = {Simon Henry and Christopher Townsend},
  journal= {arXiv preprint arXiv:2208.04228},
  year   = {2022}
}

备注

10 pages