可决对象与分子拓扑
摘要：分子性/局部连通性几何态射的几个充分条件的研究。特别地，我们展示了如果$mathcal{S}$是一个布尔拓扑的话，对于每个超连通本质几何态射${p : mathcal{E} ightarrow mathcal{S}}$ ，使得最左边的上伴随$p_!$保持有限积，那么$p$是分子的，并且${p^* : mathcal{S} ightarrow mathcal{E}}$与$mathcal{E}$中可判定对象的全子范畴重合。我们也刻画了在有限极限的范畴之间的反射，这些反射诱导了在相应的预层拓扑之间的分子映射。作为推论，我们建立了Gaeta拓扑之间某些几何态射的分子性。
作者：Mat''ias Menni
论文ID：2212.03647
分类：Category Theory
分类简称：math.CT
提交时间：2022-12-08