滤子pretoposes与紧Hausdorff空间
摘要：紧Hausdorff空间的分类问题以类似的方式来刻画紧Hausdorff local陆可以通过利用在上一引文中介绍的filtrality概念，我们确定了一些滤准度指标，在可融入的紧Hausdorff Local名称的分类中比较充分。而后者的结果在一个拓扑的内部逻辑中是有效的，如果我们假设弱排除中间原理和在滤准拓扑中终端对象的共值存在性，那么嵌入图像将包含空间紧Hausdorff local occurrence。因此，如果紧Hausdorff local在周围逻辑中有足够多的点，那么嵌入将是一个分类等价。如果周围逻辑是经典的，那么我们将得到先前所述的紧Hausdorff空间的描述。
作者：C''elia Borlido, Panagis Karazeris, Luca Reggio and Konstantinos Tsamis
论文ID：2306.11169
分类：Category Theory
分类简称：math.CT
提交时间：2023-06-21