[论文解读] Monoidal Grothendieck construction

Joe Moeller, Christina Vasilakopoulou|arXiv (Cornell University)|Sep 3, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用 25

一句话总结

本文通过一种单调的格罗滕迪克构造，建立了张量纤维化与张量索引范畴之间的2-范畴等价——具体而言，即到Cat中的张量伪函子的等价。它阐明了‘全局’张量结构（在全范畴上）与‘纤维内’张量结构（在纤维上）之间的区别，证明了当基范畴为余张量范畴时，到(Cat, ×, 1)中的张量伪函子与到MonCat中的伪函子之间存在双射，从而统一了张量范畴理论中此前两种不同的视角。

ABSTRACT

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we investigate the relation between this `global' monoidal structure where the total category is monoidal and the fibration strictly preserves the structure, and a `fibrewise' one where the fibres are monoidal and the reindexing functors strongly preserve the structure, first hinted by Shulman. In particular, when the domain is cocartesian monoidal, lax monoidal structures on the functor to the 2-category of categories correspond to lifts of the functor to the 2-category of monoidal categories. Finally, we give examples where this correspondence appears, spanning from the fundamental and family fibrations to network models and systems.

研究动机与目标

• 通过将纤维化与索引范畴之间的等价性提升至张量结构，将经典的格罗滕迪克构造推广到张量范畴设置。
• 阐明‘全局’张量纤维化（全范畴具有张量结构）与‘纤维内’张量纤维化（纤维具有张量结构且重取样函子为强张量）之间的概念与技术差异。
• 在基范畴为余张量范畴时，建立到(Cat, ×, 1)中的张量伪函子与到MonCat中的伪函子之间的精确对应关系。
• 证明张量格罗滕迪克构造自然地出现在多种数学与应用背景下，如网络模型、系统理论，以及模与代数等代数结构中。
• 为未来格罗滕迪克构造在丰富化与高阶范畴论中的推广提供基础框架。

提出的方法

• 将标准格罗滕迪克等价性提升为纤维化2-范畴中的伪幺半群与索引范畴2-范畴中的伪幺半群之间的2-等价。
• 将张量纤维化定义为满足域张量积上笛卡尔提升条件的严格张量函子，将张量索引范畴定义为到Cat中的张量伪函子。
• 使用2-范畴工具，为张量伪函子的全范畴构造一个典范的张量结构，确保纤维化严格保持张量积。
• 证明当基范畴为余张量范畴时，到(Cat, ×, 1)中的张量伪函子与到MonCat中的伪函子之间通过张量格罗滕迪克构造存在双射。
• 利用余积与普遍性质显式构造纤维上的张量结构，并通过自然性与伪函子性验证重取样函子为强张量。
• 通过伪函子的松弛器与单位元所导出的自然同构，验证全范畴上诱导的张量结构满足所需的结合性与单位约束条件。

实验结果

研究问题

• RQ1 如何将纤维化与索引范畴之间经典的格罗滕迪克等价性推广到张量范畴设置？
• RQ2 ‘全局’张量纤维化（全范畴具有张量结构）与‘纤维内’张量纤维化（纤维具有张量结构且重取样函子为强张量）之间的确切关系是什么？
• RQ3 在何种条件下，到(Cat, ×, 1)中的张量伪函子会对应到MonCat中的伪函子？
• RQ4 张量格罗滕迪克构造如何统一网络理论与系统理论中的不同范畴框架？
• RQ5 在何种结构条件下，全范畴上的张量结构能从伪函子的张量松弛结构中自然地导出？

主要发现

• 本文建立了张量纤维化与张量索引范畴之间的2-等价，将经典的格罗滕迪克构造推广到了张量范畴设置。
• 当基范畴为余张量范畴时，到(Cat, ×, 1)中的张量伪函子与到MonCat中的伪函子之间存在双射，解决了文献中长期存在的歧义。
• 全范畴上的张量结构由伪函子的张量松弛结构自然诱导，且纤维化严格保持张量积。
• 纤维范畴通过余积与普遍映射继承张量结构，且重取样函子由于自然性与伪函子性而自动成为强张量函子。
• 该构造可自然推广至辫形与对称张量变体，诱导的全范畴通过基范畴的辫形结构继承相应的结构。
• 该框架可具体应用于多种例子，包括装饰余边、网络模型、(co)模对于(co)幺半群，以及系统理论中的复合结构，展示了其广泛适用性。