[论文解读] Stone duality for topological theories

Dirk Hofmann, Isar Stubbe|arXiv (Cornell University)|Apr 1, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 3

一句话总结

本文通过在 $Ø$-范畴中引入 $Ø$-余极限，建立了 Stone 对偶性的 $Ø$-范畴化推广，证明了 $Ø$-范畴的柯西完备性恰好对应于正规性。该研究将经典的拓扑空间与框架之间的 Stone 对偶性推广至丰富范畴设定，特别是针对如 $Ø = \mathbf{2}$ 和 $[0,\infty]$ 的量化范畴，并证明保持有限上确界与下确界的框架同态恰好对应于对偶范畴中的连续映射。

ABSTRACT

In the context of categorical topology, more precisely that of T-categories [Hofmann, 2007], we define the notion of T-colimit as a particular colimit in a V-category. A complete and cocomplete V-category in which limits distribute over T-colimits, is to be thought of as the generalisation of a (co-)frame to this categorical level. We explain some ideas on a T-categorical version of "Stone duality", and show that Cauchy completeness of a T-category is precisely its sobriety.

研究动机与目标

• 将 Stone 对偶性从拓扑空间与框架推广至 $Ø$-范畴与 $Ø$-框架的设定。
• 将 $Ø$-余极限定义为丰富范畴中有限上确界在范畴论上的推广。
• 建立 $Ø$-范畴中的柯西完备性与正规性之间的等价性，推广经典 Stone 对偶性中的关键性质。
• 证明当 $Ø = \mathbf{2}$ 和 $[0,\infty]$ 时，$Ø$-范畴与 $Ø$-框架之间的对偶伴随关系恢复了对偶框架与度量框架的标准对偶性。

提出的方法

• 在 $Ø$-范畴中引入 $Ø$-余极限作为一类特殊的余极限，推广格中有限上确界的范畴论概念。
• 将 $Ø$-框架定义为极限与 $Ø$-余极限均存在的完备且余完备的 $Ø$-范畴，且极限对 $Ø$-余极限满足分配律，推广了框架与余框架的概念。
• 使用 $Ø$-函子 $Ø = [Ø, -]$ 来表示保持下确界、张量积与余张量积的 $Ø$-函子。
• 通过引理 3.1 的滤子-理想分离论证，构造一个超滤子 $Ø$，使得 $a(Ø, -) = \varphi$ 且 $k = \xi \cdot U\varphi(\u00d8)$，在对 $Ø$ 的特定条件下成立。
• 证明在 $Ø$ 满足适当条件时，保持有限上确界的函子也保持 $Ø$-上确界，从而简化了 $Ø$-框架的结构。
• 在 $Ø$-范畴与 $Ø$-框架之间建立对偶伴随关系，对 $Ø = \mathbf{2}$ 和 $[0,\infty]$ 恢复了经典对偶性。

实验结果

研究问题

• RQ1 如何将 Stone 对偶性从拓扑空间与框架推广至 $Ø$-范畴与 $Ø$-框架的设定？
• RQ2 $Ø$-余极限在丰富范畴论中推广有限上确界时，其范畴论角色是什么？
• RQ3 在何种条件下，保持有限上确界的 $Ø$-函子也保持 $Ø$-上确界？
• RQ4 $Ø$-范畴中的柯西完备性是否等价于正规性，从而推广经典拓扑空间对偶性中的关键结果？
• RQ5 $Ø = \mathbf{2}$ 和 $[0,\infty]$ 的对偶性与 [BLVO06] 中的度量框架等现有概念有何异同？

主要发现

• 一个 $Ø$-范畴的柯西完备性恰好等价于其正规性，推广了经典 Stone 对偶性中的一个关键结果。
• 当 $Ø = \mathbf{2}$ 时，范畴 $Ø_{\mathbf{2}}$-Frm 同构于余框架与余框架同态的范畴，且 $Ø_{\mathbf{2}}$-Cat = Top，从而恢复了标准对偶伴随关系。
• 当 $Ø = [0,\infty]$ 时，$Ø_{[0,\infty]}$-框架是完备度量空间，其中有限余极限与任意极限可交换，且态射为保持所有极限与有限余极限的压缩映射。
• 在 $Ø$ 满足 $⊤ = k$，集合 $\{u \in \u00d8 \mid u \ll k\}$ 为有向集，且 $k \leq u \vee v$ 蕴含 $k \leq u$ 或 $k \leq v$ 的条件下，保持有限上确界的 $Ø$-函子也保持 $Ø$-上确界。
• 通过利用引理 3.1 分离滤子基 $\{A_u \mid u \ll k\}$ 与理想 $\{B \mid \varphi \not\leq \varphi_B\}$，构造满足 $a(Ø, x) = \varphi(x)$ 且 $k = \xi \cdot U\varphi(\u00d8)$ 的超滤子 $Ø$。
• 对 $Ø = \mathbf{2}$ 和 $[0,\infty]$，$Ø$-范畴与 $Ø$-框架之间的对偶伴随关系推广了经典 Stone 对偶性，并为将其扩展至丰富范畴设定提供了框架。