[论文解读] Strictification of categories weakly enriched in symmetric monoidal categories

Bertrand Guillou|ArXiv.org|Sep 29, 2009

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

一句话总结

本文证明了在对称单幕范畴中弱提升的范畴——称为 SMC-范畴——可被严格化为在置换范畴中的范畴（PC-范畴），从而确保高阶代数结构的一致性。通过两种不同方法——显式严格化与 Yoneda 风格的一致性论证——本文确立了任一 SMC-范畴与一个 PC-范畴之间存在双等价关系，使得 $<math>\mathbb{K}$-理论函子可被应用于生成谱范畴。

ABSTRACT

We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a "many 0-cells" version of the strictification of bimonoidal categories to strict ones.

研究动机与目标

• 建立在对称单幕范畴中弱提升的范畴的严格化结果，推广 Isbell 对单幕范畴的严格化。
• 通过证明弱提升结构（SMC-范畴）与严格提升结构（PC-范畴）之间存在双等价关系，解决高阶代数中的一致性问题。
• 提供两种独立的证明——显式证明与 Yoneda 基础证明——以增强结果的稳健性与适用性。
• 将结果推广至单 0-胞腔 SMC-范畴的情形，使已知的双单幕范畴严格化作为特例被恢复。

提出的方法

• 通过显式、归纳的过程构建严格化，将弱单幕结构替换为严格结构，同时保持双等价性。
• 应用 Yoneda 嵌入将 SMC-范畴映射到取值于置换范畴的函子范畴，利用表示性。
• 利用 Yoneda 函子在原始 SMC-范畴与 PC-范畴的全子 2-范畴之间诱导出双等价关系。
• 通过验证复合与单幕函子满足严格结合律与单位律，证明像上的诱导结构为 PC-范畴。
• 证明严格化过程保持同伦范畴上的对称单幕结构，并尊重复合的双线性性。
• 将基于 Yoneda 的证明专门应用于单 0-胞腔情形，作为推论恢复双单幕范畴的严格化。

实验结果

研究问题

• RQ1 在对称单幕范畴中弱提升的范畴能否被严格化为在置换范畴中的范畴？
• RQ2 严格化是否在双等价意义下保持双范畴与单幕结构？
• RQ3 能否通过显式构造与 Yoneda 风格的一致性论证两种方式实现严格化？
• RQ4 双单幕范畴的严格化是否可作为一般 SMC-范畴严格化的特例被恢复？
• RQ5 严格化过程是否确保 $&lt{math&gt} \mathbb{K}$-理论在严格化范畴上的结果为谱范畴？

主要发现

• 任一 SMC-范畴与一个 PC-范畴之间存在双等价关系，意味着弱提升结构可被刚性化而不会损失范畴信息。
• 严格化通过两种独立证明实现：一种为显式证明，另一种基于 Yoneda 嵌入与一致性理论。
• 基于 Yoneda 的证明构造了一个从原始 SMC-范畴到 PC-范畴全子 2-范畴的双等价关系，而该子 2-范畴本身即为一个 PC-范畴。
• 在单 0-胞腔情形下，严格化恢复了已知的双单幕范畴向严格双单幕范畴的严格化。
• 在单位对象处的求值诱导出严格化范畴与原始双单幕范畴之间的等价关系，表明其全忠实性与本质满射性。
• 严格化范畴继承了原始范畴的加法与乘法单幕结构，且使复合与张量积满足严格结合律与单位律。