[论文解读] Lawvere completion and separation via closure

Dirk Hofmann, Walter Tholen|ArXiv.org|Dec 31, 2007

Structural Analysis and Optimization参考文献 6被引用 4

一句话总结

本文引入了一个基于闭包理论的框架，用于处理 $τ$-范畴中的Lawvere完备性与分离性，通过一个拓扑理论 $τ = (\mathbb{T}, \mathsf{V}, \xi)$ 将 $ν$-范畴理论推广。研究证明，$τ$-范畴的L-完备化即为其在$τ$-模范畴中的Yoneda像的L-闭包，从而在L-完备$τ$-范畴中形成一个满射-反射子范畴。

ABSTRACT

For a quantale $\V$, first a closure-theoretic approach to completeness and separation in $\V$-categories is presented. This approach is then generalized to $\Tth$-categories, where $\Tth$ is a topological theory that entails a set monad $\mT$ and a compatible $\mT$-algebra structure on $\V$.

研究动机与目标

• 将Lawvere关于完备性与分离性的概念从$ν$-范畴推广至$τ$-范畴，使用闭包算子。
• 通过将$X^{\mathrm{op}}$定义为$TX$并赋予$τ$-结构，解决$τ$-范畴中Yoneda嵌入的不对称性。
• 建立一个统一度量空间、拓扑空间与连续性空间的完备性与分离性的范畴框架。
• 证明L-完备化即为$τ$-模范畴中Yoneda像的L-闭包。
• 证明L-分离$τ$-范畴范畴中，L-完备$τ$-范畴的全子范畴是满射-反射子范畴。

提出的方法

• 将$ν$-函子的L-稠密性定义为：若$f \cdot m = g \cdot m$，则$f \cong g$，从而推广单射性。
• 将子对象$M \to X$的L-闭包定义为使得$M \to \overline{M}$为L-稠密的最大子对象。
• 构造Yoneda函子$\mathpzc{y}: X \to \hat{X} = \mathsf{V}^{X^{\mathrm{op}}}$，其中$X^{\mathrm{op}} = TX$被赋予$\tau$-代数结构。
• 利用量化格$\mathsf{V}$中的内部同态$\multimap$与单子$\mathbb{T}$，在$\hat{X}$上定义$\tau$-模结构。
• 将L-完备化$\tilde{X}$定义为$\operatorname{\mathpzc{y}}(X)$在$\hat{X}$中的L-闭包，确保$\operatorname{\mathpzc{y}}$的全忠实性与L-稠密性。
• 证明$\psi \in \hat{X}$是右伴随$\tau$-模当且仅当$\psi \in \overline{\operatorname{\mathpzc{y}}(X)}$，从而将伴随性与闭包联系起来。

实验结果

研究问题

• RQ1 如何通过闭包算子将Lawvere的完备性与分离性概念从$ν$-范畴推广至$τ$-范畴？
• RQ2 鉴于$τ$-结构的不对称性，$τ$-范畴中Yoneda嵌入的正确推广是什么？
• RQ3 L-闭包构造如何产生一个既完备又分离的完备化过程？
• RQ4 在何种条件下，$\tau$-范畴的L-完备化构成L-分离$\tau$-范畴范畴中的满射-反射子范畴？
• RQ5 在何种意义上，$\tau$-范畴的L-完备化等价于其Yoneda像在模范畴中的闭包？

主要发现

• $τ$-范畴$X$的L-完备化由$\tilde{X} = \overline{\operatorname{\mathpzc{y}}(X)}$给出，即$\hat{X}$中Yoneda像的L-闭包，使得$\tilde{X}$为L-完备。
• Yoneda嵌入$\operatorname{\mathpzc{y}}: X \to \tilde{X}$是全忠实且L-稠密的，确保$\tilde{X}$是$X$的最小L-完备扩张。
• $\tau$-模$\psi \in \hat{X}$是右伴随当且仅当$\psi \in \overline{\operatorname{\mathpzc{y}}(X)}$，将伴随性与闭包联系起来。
• $\mathscr{T}\text{-}\mathsf{Cat}_{\mathrm{cpl}}$（L-完备$τ$-范畴的全子范畴）在$\mathscr{T}\text{-}\mathsf{Cat}_{\mathrm{sep}}$中是满射-反射子范畴，其反射由$\operatorname{\mathpzc{y}}: X \to \tilde{X}$给出。
• 该构造推广了已知情形：当$\mathbb{T}$为超滤子单子且$\mathsf{V} = \mathsf{2}$时，它恢复了Barr对拓扑空间的关联关系描述。
• 当$\mathbb{T}$为超滤子单子且$\mathsf{V}$为Lawvere半直线时，该框架恢复了Lowen的逼近空间方法，验证了其普遍性。