[论文解读] Limits and colimits of quantaloid-enriched categories and their distributors

Lili Shen, Walter Tholen|arXiv (Cornell University)|Apr 13, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 5

一句话总结

该论文证明，对于任意小量值类 Q，小 Q-范畴与 Q-函子的范畴，以及 Q-分配器与 Q-Chu 变换的范畴，均为完全且余完全的。通过在 Q-Chu 空间范畴中证明生成集的存在，作者展示了这两个范畴均包含所有小极限与余极限，包括由大指标集索引的极限与余极限，从而将量值类 enriched 结构的范畴完备性性质扩展至经典的小性约束之外。

ABSTRACT

It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.

研究动机与目标

• 研究小量值类 Q- enriched 范畴中极限与余极限的存在性。
• 确立 Q-范畴与 Q-函子的范畴为完全且余完全的。
• 证明 Q-分配器（Q-Chu 空间）与 Q-Chu 变换的范畴也包含所有小极限与余极限。
• 在 Q-Chu 中构造一个生成集，以证明其完全完备性与余完全完备性。

提出的方法

• 证明 Q-Cat 在 Set/ob Q 上为拓扑范畴，从而可显式构造小极限与余极限。
• 利用结构锥的初始提升来描述 Q-Chu 中对小指标集的极限与余极限。
• 通过对象 ηs: ∅ →◦ Ds 与 λt: {t} →◦ bC（s,t ∈ ob Q）在 Q-Chu 中构造一个生成集。
• 利用生成集的存在性，通过命题 2.6 证明 Q-Chu 的完全完备性与完全余完全性。
• 验证 Q-Chu 中的单射与满射对应于 Q-Cat 中的单射与满射 Q-函子，从而确保其良好幂次性。
• 通过证明完全完备性与余完全完备性，表明 Q-Chu 为超完全且超余完全。

实验结果

研究问题

• RQ1 对于小量值类 Q，小 Q-范畴与 Q-函子的范畴 Q-Cat 是否包含所有小极限与余极限？
• RQ2 能否证明 Q-分配器与 Q-Chu 变换的范畴 Q-Chu 为完全且余完全的？
• RQ3 Q-Chu 中的极限与余极限具有何种结构？如何显式描述它们？
• RQ4 Q-Chu 是否拥有一个生成集？若有，该生成集如何蕴含其完全完备性与余完全完备性？
• RQ5 Q-Chu 的范畴性质（在完备性与余完备性方面）与 Q-Cat 相比有何异同？

主要发现

• Q-Cat 在 Set/ob Q 上为拓扑范畴，这意味着它包含所有小极限与余极限。
• Q-Chu 为完全且余完全范畴，意味着它包含所有小极限与余极限，包括由大指标集索引的极限与余极限。
• 在 Q-Chu 中构造的生成集为 {ηs: ∅ →◦ Ds | s ∈ ob Q} ∪ {λt: {t} →◦ bC | t ∈ ob Q}，其中 Ds 取自 Q-Cat 的生成集，bC 为预层范畴的余积。
• Q-Chu 中生成集的存在性意味着 Q-Chu 同时具有完全完备性与完全余完全性。
• 因此，Q-Chu 为超完全且超余完全范畴，即包含所有小极限与余极限，以及所有大极限与余极限。
• 该结果将经典范畴（如 Ord 与 Met）的完备性性质推广至更广泛的量值类 enriched 范畴及其分配器结构。