[论文解读] Symmetry and Cauchy completion of quantaloid-enriched categories

Hans Heymans, Isar Stubbe|arXiv (Cornell University)|May 6, 2010

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

一句话总结

本文引入了柯西-双边量群（Cauchy-bilateral quantaloids）的概念——即在柯西完备化单子与对称化余单子之间存在分配律的对合富集范畴。本文证明，对于此类量群，任意对称范畴的柯西完备化仍保持对称性，从而统一了关于劳弗勒量群（Lawvere’s quantale）的扩展非负实数与华特尔斯（Walters）的小量群（small quantaloids）的闭筛（closed cribles）的结果。

ABSTRACT

We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids, which we call Cauchy-bilateral quantaloids, it follows that the Cauchy completion of any symmetric Q-enriched category is again symmetric. Examples include Lawvere's quantale of non-negative real numbers and Walters' small quantaloids of closed cribles.

研究动机与目标

• 解决关于柯西完备化是否保持量群富集范畴对称性的开放问题。
• 确定在何种一般条件下，对合量群的对称范畴的柯西完备化仍保持对称。
• 在单一范畴框架下统一劳弗勒量群与华特尔斯小量群（closed cribles）的现有特殊证明。
• 在Q-富集范畴范畴中建立柯西完备化单子与对称化余单子之间的分配律。
• 证明局部局部化且模态的量群（如格罗滕迪克拓扑斯中内部关系的量群）满足所需条件。

提出的方法

• 将柯西-双边量群定义为存在柯西完备化单子与对称化余单子之间分配律的对合量群。
• 利用局部的模律推导涉及态射及其对偶的不等式，证明对称态射族满足关键完备性条件。
• 通过模律与局部格性质验证，证明任意小关系量群 R(C,J) 是柯西-双边的。
• 证明格罗滕迪克拓扑斯 E 中的内部关系量群 Rel(E) 由于其模态性与局部格性质，是强柯西-双边的。
• 构造反例表明，即使 Q 是柯西-双边的，Cat_cc(Q) 中的所有离散对象也不一定是对称的。
• 利用对称 Q-范畴包含于所有 Q-范畴中的包含映射的右伴随（即对称化）的存在性，实现柯西完备化的延拓。

实验结果

研究问题

• RQ1 在何种条件下，对合量群 Q 的对称 Q-范畴的柯西完备化仍为对称？
• RQ2 能否通过单一范畴框架统一劳弗勒量群 [0,∞] 与华特尔斯小量群（闭筛）的已知结果？
• RQ3 柯西完备化单子与对称化余单子之间存在分配律是否能刻画此类量群？
• RQ4 局部局部化且模态的量群（如 R(C,J) 或 Rel(E)）是否必然为柯西-双边？
• RQ5 对称 Q-范畴与柯西完备 Q-范畴范畴中的离散对象之间有何关系？

主要发现

• 本文引入了柯西-双边量群类，其定义为柯西完备化单子与对称化余单子之间存在分配律。
• 对于任意柯西-双边量群 Q，对称 Q-范畴的柯西完备化仍为对称，从而在一般设定下肯定回答了贝蒂与华特尔斯的问题。
• 劳弗勒量群（([0,∞], +, ∧, 0)）是柯西-双边的，确保对称广义度量空间在柯西完备化下仍保持对称。
• 华特尔斯的小量群（R(C,J)）是柯西-双边的，因此对称 R(C,J)-范畴在柯西完备化下保持不变。
• 格罗滕迪克拓扑斯 E 中的内部关系量群 Rel(E) 由于其模态性与局部格性质，是强柯西-双边的。
• 反例表明，即使 Q 是柯西-双边的，Cat_cc(Q) 中的所有离散对象也不一定对称，凸显了离散性与对称性之间的区别。