[论文解读] Relative injectivity as cocompleteness for a class of distributors

Maria Manuel Clementino, Dirk Hofmann|ArXiv.org|Jul 25, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 8

一句话总结

本文通过引入相对于一类分配器 $Φ$ 的 $Φ$-余完备性，将丰富范畴论中单射性与余完备性之间的对偶性进行推广。它证明了 $Φ$-余完备性等价于到 $Φ$-预层范畴的 Yoneda 嵌入存在左伴随，从而统一并扩展了在 $Ρ$-丰富设定下关于内射空间与语义域的结果。

ABSTRACT

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:0804.0326 [math.CV]] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadicity of the category of injective spaces and left adjoints over $\mathsf{Set}$. In this paper we generalise these results, studying cocompleteness with respect to a given class of distributors. We show in particular that the description of several semantic domains presented in [M. Escardó and B. Flagg, Semantic domains, injective spaces and monads, Electronic Notes in Theoretical Computer Science 20 (1999)] can be translated into the $\mathsf{V}$-enriched setting.

研究动机与目标

• 通过一类分配器 $Φ$ 将单射性与余完备性之间的等价性从绝对情形推广到相对情形。
• 通过 $Ρ$-范畴与拓扑理论扩展丰富范畴论的框架，以建模拓扑与度量类结构。
• 通过将它们嵌入 $Ρ$-丰富设定，恢复并推广 Escardó 与 Flagg 关于内射空间与语义域的结果。
• 将 $Φ$-余完备 $Ρ$-范畴表征为相对于给定嵌入类的精确内射 $τ$-范畴。
• 通过分配器与加权余锥，为在拓扑理论中研究单射性与完备性的范畴基础提供支持。

提出的方法

• 引入 $Ρ$-范畴的 $Φ$-余完备性概念，定义为到 $Φ$-预层范畴的 Yoneda 嵌入存在左伴随。
• 将 $Φ$-预层范畴构造为所有 $Ρ$-分配器范畴中的全子范畴。
• 利用 Yoneda 引理与加权余锥，通过 Yoneda 嵌入的左伴随存在性来刻画 $Φ$-余完备性。
• 将 $Φ$-可稠密函子定义为完全忠实且保持 $Φ$-加权极限的函子，推广了恰当函子的概念。
• 在特定条件下，证明 $Φ$-可稠密函子关于从 $τ$-范畴到 $Ρ$-范畴的遗忘函子是最终的。
• 将该框架应用于特定拓扑理论（如超滤子与词单子），以恢复关于内射空间与语义域的已知结果。

实验结果

研究问题

• RQ1 在 $Ρ$-丰富范畴的背景下，如何将余完备性相对于一类分配器 $Φ$ 进行相对化？
• RQ2 在何种条件下，$Φ$-余完备性与 $τ$-范畴中的单射性一致？
• RQ3 Escardó 与 Flagg 关于语义域与内射空间的结果能否通过此框架在 $Ρ$-丰富设定中被恢复？
• RQ4 $Φ$-可稠密函子在刻画 $Φ$-余完备性与 $τ$-范畴中最终性方面起什么作用？
• RQ5 不同类别的 $Φ$-分配器（如保持最大元、张量积或下确界者）如何与已知的完备性概念相关联？

主要发现

• 到 $Φ$-预层范畴的 Yoneda 嵌入存在左伴随，当且仅当 $Ρ$-范畴是 $Φ$-余完备的。
• 相对于一类嵌入的内射 $τ$-范畴，恰好是 $Φ$-余完备 $Ρ$-范畴，从而建立了范畴对偶性。
• 每个 $Φ$-可稠密 $τ$-函子关于从 $τ$-范畴到 $Ρ$-范畴的遗忘函子都是最终的，推广了恰当性的概念。
• 保持 $Φ$-加权极限的 $Φ$-分配器类包括所有可表示的以及右伴随的 $Φ$-分配器。
• 对 $Φ$ 的特定选择（如保持最大元、张量积或任意下确界）可恢复 Escardó 与 Flagg 的已知内射性结果。
• 该框架通过将内射空间与语义域的结果嵌入 $Ρ$-范畴与拓扑理论的丰富范畴设定中，实现了统一与推广。