[论文解读] Many-valued complete distributivity

Hongliang Lai, Dexue Zhang|ArXiv.org|Mar 25, 2006

Advanced Algebra and Logic参考文献 31被引用 15

一句话总结

本文研究了在交换单位量化值 Ω 上 enriched 的范畴中的多值完全分配性，利用范畴伴随关系将经典完全分配性推广。研究发现，当 Ω 为交换的 Girard 量化值时，完全分配的 Ω-格之间的右伴随函子范畴本身也是完全分配的，且对任意集合，自由完全分配的 Ω-格存在，从而为多值序理论提供了范畴基础。

ABSTRACT

Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid of categorical machineries, to establish theories of many-valued complete lattices, many-valued completely distributive lattices, and so on. This paper presents a systematical investigation of many-valued complete distributivity, including the topics: (1) subalgebras and quotient algebras of many-valued completely distributive lattices; (2) categories of (left adjoint) functors; and (3) the relationship between many-valued complete distributivity and properties of the quantale of truth values. The results show that enriched category theory is a very useful tool in the study of many-valued versions of order-related mathematical entities.

研究动机与目标

• 将经典格的完全分配性理论从经典格推广至多值、量化值 enriched 的结构，借助范畴论。
• 通过范畴伴随关系和 enriched 范畴工具，刻画多值完全分配性。
• 在多值完全分配格的背景下，研究子代数、商代数和函子范畴。
• 阐明量化值 Ω 的逻辑与代数条件，使得完全分配性性质得以成立。

提出的方法

• 使用 enriched 范畴理论，通过 Ω-范畴中伴随函子的存在性，重新表述经典序理论概念（如完全分配性）。
• 应用 Yoneda 嵌入及其伴随函子，以范畴的普遍性质刻画完全分配性。
• 通过预层范畴的对偶构造自由完全分配的 Ω-格：F(X) = [[Ω^X], Ω]^op。
• 在函子范畴 [Ω, Ω] 中使用张量与余张量运算，推导涉及蕴含与否定的恒等式，进而刻画 Girard 量化值。
• 证明当 Ω 为交换的 Girard 量化值时，两个完全分配的 Ω-格之间的右伴随函子范畴本身也是完全分配的。
• 利用伴随函子定理和目标范畴的完备性，证明通过自由构造的唯一分解的存在性。

实验结果

研究问题

• RQ1 在何种条件下，完全分配的 Ω-格之间的右伴随函子范畴本身是完全分配的？
• RQ2 何种量化值 Ω 能保证由一个集合生成的自由完全分配的 Ω-格存在？
• RQ3 如何利用 enriched 范畴理论将序理论中的经典完全分配性推广至多值设定？
• RQ4 在多值完全分配性的背景下，量化值 Ω 为交换的 Girard 量化值具有何种逻辑意义？
• RQ5 量化值 Ω 的哪些代数性质等价于恒等式 α = (α → 0) → 0，该恒等式刻画了 Girard 量化值？

主要发现

• 当 Ω 为交换的 Girard 量化值时，两个完全分配的 Ω-格之间的右伴随函子范畴本身也是完全分配的 Ω-格。
• 对任意集合 X，当 Ω 为交换的 Girard 量化值时，自由完全分配的 Ω-格 F(X) = [[Ω^X], Ω]^op 存在。
• F(X) 的构造确保了从 X 到任意完全分配的 Ω-格的任意函数，均可唯一延拓为从 F(X) 到该格的完全格同态。
• 在 Ω 中恒等式 α = (α → 0) → 0 成立当且仅当 Ω 是交换的 Girard 量化值，该条件刻画了理论所必需的量化值结构。
• 当 A 为完全分配的 Ω-格时，预层范畴 [A^op, Ω]^op 的对偶也是完全分配的，保持了对偶下的结构。
• 通过自由构造 F(X)，确立了从 Ω-格范畴到 Set 的遗忘函子存在左伴随，从而确认了自由对象的存在。