[论文解读] Tight spans, Isbell completions and semi-tropical modules

Simon Willerton|arXiv (Cornell University)|Feb 18, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 22

一句话总结

本文建立了广义度量空间的Isbell完备化与Hirai和Koichi的定向紧致张量之间的范畴等价，表明Isbell完备化在丰富范畴论意义下既是完备的也是余完备的。此外，本文进一步证明了Isbell完备化具有两种不同的半热带模结构，将范畴完备性与热带代数结构联系起来。

ABSTRACT

In this paper we consider the categorical Isbell completion construction for generalized metric spaces in the sense of Lawvere. We show that this is an analogue of the tight span construction of classical metric spaces, and that the Isbell completion coincides with the directed tight span of Hirai and Koichi. The notions of categorical completion and cocompletion are related to the existence of semi-tropical module structure, and it is shown that the Isbell completion (hence the directed tight span) has two different semi-tropical module structures.

研究动机与目标

• 通过丰富范畴理论的视角，理解度量空间中的紧致张量构造。
• 为广义度量空间建立Isbell完备化构造的范畴类比，以替代紧致张量。
• 探索范畴完备性（极限与余极限）与半热带模结构之间的联系。
• 证明Isbell完备化既是完备的也是余完备的，因此支持半热带模作用。
• 统一经典度量空间构造与丰富范畴论工具，特别是在加权极限与余极限的语境下。

提出的方法

• 将广义度量空间形式化为[0,∞]-丰富范畴，其中距离为非负扩展实数且无对称性。
• 将Isbell完备化I(X)定义为X上预层与对余预层之间Isbell伴随的不动点集。
• 将I(X)中的点表示为满足对偶条件的函数对(f,g): X→[0,∞]，即f(x) + g(y) ≥ d(x,y) 且 f(x) + g(x) ≥ 0。
• 使用Yoneda嵌入Y: X → X̂ 将X嵌入预层范畴X̂，并构造一个收缩RL: X̂ → I(X)。
• 在丰富范畴论中应用加权极限与余极限，以定义范畴完备性与余完备性。
• 通过在对余预层空间上的作用，证明Isbell完备化继承了半热带模结构，其中一种结构与另一种对偶。

实验结果

研究问题

• RQ1 广义度量空间的Isbell完备化与经典紧致张量构造有何关系？
• RQ2 丰富范畴中的完备性与余完备性范畴概念能否与半热带代数结构相联系？
• RQ3 广义度量空间的Isbell完备化是否具有半热带模结构？若有，有多少种？
• RQ4 加权余极限与极限在将Isbell完备化表征为双完备化的过程中起什么作用？
• RQ5 Yoneda嵌入在Isbell完备化语境下如何与范畴连续性及余连续性相互作用？

主要发现

• 广义度量空间X的Isbell完备化I(X)与Hirai和Koichi的定向紧致张量等距，建立了范畴等价。
• 在丰富范畴论意义下，Isbell完备化既是完备的也是余完备的，即所有加权极限与余极限均存在。
• Yoneda嵌入X → I(X)既是连续的也是余连续的，确认I(X)是X的双完备化。
• Isbell完备化具有两种不同的半热带模结构：一种来自预层侧，一种来自对余预层侧。
• I(X)上的度量半热带作用源自半热带半环在对余预层空间上的作用。
• 对于骨架型广义度量空间，有限完备性等价于度量半热带模结构的存在。