[论文解读] A construction of certain weak colimits and an exactness property of the 2-category of categories

María Emilia Descotte, Eduardo J. Dubuc+1 more|arXiv (Cornell University)|Oct 8, 2016

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

一句话总结

本文在2-范畴范畴中引入了一种类弱余极限的广义概念，称为σ-余极限，通过一个特殊子范畴Σ来控制结构2-胞状的可逆性。它给出了σ-过滤σ-余极限的显式构造，并证明了这些余极限与有限加权伪极限可交换，从而确立了一个基础性的精确性性质，该性质表明σ-过滤σ-余极限保持2-函子的精确性。

ABSTRACT

Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $Σ\subset \mathcal{A}$ containing all the objects, a $σ$-cone for $F$ (with respect to $Σ$) is a lax cone such that the structural $2$-cells corresponding to the arrows of $Σ$ are invertible. The conical $σ$-limit is the universal (up to isomorphism) $σ$-cone. The notion of $σ$-limit generalises the well known notions of pseudo and lax limit. We consider the fundamental notion of $σ$-filtered} pair $(\mathcal{A}, \, Σ)$ which generalises the notion of 2-filtered 2-category. We give an explicit construction of $σ$-filtered $σ$-colimits of categories, construction which allows computations with these colimits. We then state and prove a basic exactness property of the 2-category of categories, namely, that $σ$-filtered $σ$-colimits commute with finite weighted pseudo (or bi) limits. An important corollary of this result is that a $σ$-filtered $σ$-colimit of exact category valued 2-functors is exact. This corollary is essential in the 2-dimensional theory of flat and pro-representable 2-functors, that we develop elsewhere.

研究动机与目标

• 通过相对于子范畴Σ引入σ-锥和σ-余极限，推广2-范畴中弱余极限的概念。
• 在2-范畴范畴中显式构造σ-过滤σ-余极限，以支持具体计算。
• 在范畴中建立一个基本的精确性性质：σ-过滤σ-余极限与有限加权伪极限可交换。
• 证明σ-过滤σ-余极限保持取值在精确范畴中的2-函子的精确性，支持在2-维平坦与pro-表示函子理论中的应用。

提出的方法

• 将σ-锥定义为结构2-胞状对应Σ中态射时可逆的伪锥，从而推广伪极限与弱极限的概念。
• 引入σ-过滤对(A, Σ)的概念，推广2-过滤范畴，以确保某些相容态射族的存在性。
• 通过涉及Σ-兼容性条件下的等价类的显式模型，构造范畴的σ-过滤σ-余极限。
• 利用预态射及其提升的概念定义σ-余极限的普遍性质，依赖2-自然性和2-胞状的粘贴。
• 通过分析自然变换通过余极限构造的提升，证明在范畴中有限加权伪极限与σ-过滤σ-余极限可交换。
• 将可交换性结果应用于证明：任何精确2-函子的σ-过滤σ-余极限仍为精确，利用σ-余极限的普遍性质与2-自然性。

实验结果

研究问题

• RQ1 如何通过子范畴Σ控制结构2-胞状的可逆性，来推广2-范畴中弱余极限的概念？
• RQ2 在2-范畴范畴中，σ-过滤σ-余极限的显式构造是什么？
• RQ3 在范畴中，σ-过滤σ-余极限是否与有限加权伪极限可交换？此类可交换性的意义何在？
• RQ4 σ-过滤σ-余极限是否保持精确性？它与平坦2-函子理论有何关联？

主要发现

• 提供了范畴中σ-过滤σ-余极限的显式构造，使得通过Σ-兼容数据的等价类可有效计算这些余极限。
• 在范畴中，σ-过滤σ-余极限与有限加权伪极限可交换，推广了集合范畴中过滤余极限与有限极限可交换的经典结果。
• 通过预态射及其提升刻画了σ-余极限的普遍性质，2-自然性和2-胞状粘贴在证明中起核心作用。
• 该构造确保任何精确2-函子的σ-过滤σ-余极限仍为精确，这是平坦2-函子理论中的关键结果。
• 该结果将范畴论中的经典精确性性质推广至2-范畴设置，扩展了过滤余极限在1-范畴论中的作用。