[论文解读] Completely distributive enriched categories are not always continuous

Hongliang Lai, Dexue Zhang|arXiv (Cornell University)|Aug 3, 2019

Advanced Algebra and Logic参考文献 28被引用 5

一句话总结

本文证明，在单位区间上配备连续 t-范数的量化范畴中，完全分配性并不蕴含连续性，这与序理论中的经典情况相反。关键结果表明，当且仅当蕴含运算在对角线之外连续时，连续性成立，其精确刻画依赖于 t-范数结构以及前向柯西权上的伴随条件。

ABSTRACT

In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t-norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.

研究动机与目标

• 研究在量化范畴中完全分配性是否蕴含连续性，推广序理论中关于格的经典结果。
• 确定在何种连续 t-范数结构下，[0,1]-丰富范畴中的完全分配性蕴含连续性。
• 阐明前向柯西权及其伴随结构在丰富范畴论中决定连续性的作用。
• 建立一个清晰的二分法：蕴含运算在对角线之外的连续性是蕴含关系成立的必要且充分条件。

提出的方法

• 在量化范畴 Q = ([0,1], &, 1) 上使用丰富范畴论，其中 & 是一个连续 t-范数。
• 将前向柯西权定义为偏序集中理想概念的推广，构成权的范畴 CA。
• 应用伴随串条件：tA ⊣ supA ⊣ eA : A → CA，以在丰富设定中定义连续性。
• 利用幂等元结构和局部 t-范数同构（例如，到 Łukasiewicz 或乘积 t-范数的同构）分析蕴含行为。
• 使用连续 t-范数的序和分解构造反例并证明等价条件。
• 应用 CA 在完备 Q-范畴中的张量积与交封闭性质，推导伴随存在的条件。

实验结果

研究问题

• RQ1 在 ([0,1], &, 1) 上的 Q-范畴中，完全分配性是否蕴含连续性，其中 & 是一个连续 t-范数？
• RQ2 在 t-范数 & 上需要满足何种结构性条件，才能使每个完全分配的 Q-范畴都是连续的？
• RQ3 当且仅当完全分配性蕴含连续性时，蕴含运算 →: [0,1]² → [0,1] 是否在对角线之外的所有点都连续？
• RQ4 前向柯西权到所有权的包含 CA → PA 何时具有左伴随？
• RQ5 在连续 Q-范畴的底层预序上，余张量运算 p ⊸ − 何时是 Scott 连续的？

主要发现

• 对于任意连续 t-范数，在 ([0,1], &, 1) 上的 Q-范畴中，完全分配性并不蕴含连续性。
• 蕴含运算 → 在对角线之外连续，当且仅当每个完全分配的 Q-范畴都是连续的。
• 如果 t-范数在某个区间 [a⁻, a⁺] 上限制为 Łukasiewicz t-范数，则 ([0,1], dL) 不是连续的，从而提供一个反例。
• 包含 CA → PA 具有左伴随，当且仅当蕴含运算 → 在对角线之外连续。
• 对于阿基米德 t-范数（乘积或 Łukasiewicz），在 [0,p) 上 p → − 的连续性等价于 CA 中余张量的存在性。
• 为使连续性成立，量化范畴 ([a⁻, a⁺], &, a⁺) 必须同构于乘积 t-范数 ([0,1], &P, 1)，而非 Łukasiewicz t-范数。