论文标题
面向更高的拓扑
Towards Higher Topology
论文作者
论文摘要
我们对区域和拓扑空间之间的邻接进行了分类，这相当于（广义）有界离子和topoi之间的邻接。我们证明邻接是势力的。我们将这种相关性与Scott Adjunction联系起来，这是从[Liba]中更明确的角度讨论的。我们暗示，$ 0 $维的辅助属于分类的辅助。
We categorify the adjunction between locales and topological spaces, this amounts to an adjunction between (generalized) bounded ionads and topoi. We show that the adjunction is idempotent. We relate this adjunction to the Scott adjunction, which was discussed from a more categorical point of view in [Liba]. We hint that $0$-dimensional adjunction inhabits the categorified one.
