[论文解读] A construction of 2-filtered bicolimits of categories

Eduardo J. Dubuc, Ross Street|arXiv (Cornell University)|May 11, 2006

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

一句话总结

本文引入了2-过滤2-范畴的概念，并为取值于范畴的2-函子提供了双极限的显式构造。当一个范畴被视为平凡2-范畴时，它为2-过滤当且仅当它是过滤的，且该构造给出一个与标准过滤余极限等价的范畴。其主要贡献在于证明2-过滤双极限继承了与过滤余极限类似的本质性质，仅使用一组最小公理。

ABSTRACT

We define the notion of 2-filtered 2-category and give an explicit construction of the bicolimit of a category valued 2-functor. A category considered as a trivial 2-category is 2-filtered if and only if it is a filtered category, and our construction yields a category equivalent to the category resulting from the usual construction of filtered colimits of categories. Weaker axioms suffice for this construction, and we call the corresponding notion pre 2-filtered 2-category. The full set of axioms is necessary to prove that 2-filtered bicolimits have the properties corresponding to the essential properties of filtered bicolimits. Kennison already considered filterness conditions on a 2-category under the name of bifiltered 2-category. It is easy to check that a bifiltered 2-category is 2-filtered, so our results apply to bifiltered 2-categories. Actually Kennison's notion is equivalent to ours, but the other direction of this equivalence is not entirely trivial.

研究动机与目标

• 将2-过滤2-范畴定义并表征为过滤范畴的2-范畴推广。
• 为取值于范畴的2-函子提供双极限的显式构造。
• 证明当限制于平凡2-范畴时，该构造给出一个与经典过滤余极限等价的范畴。
• 识别构造所需的最小公理集（预2-过滤2-范畴），并将其与完整的2-过滤条件区分开来。
• 确立完整的公理集是确保2-过滤双极限满足与过滤余极限类似本质性质的必要条件。

提出的方法

• 通过两个公理（F1：对具有可逆2-细胞的对态射存在余锥；F2：2-细胞的相干性）定义2-范畴为预2-过滤。
• 将双极限范畴 LL(F) 构造为三元组 (A, x, α) 的等价类，其中 A 是2-范畴中的对象，x 是 F(A) 中的对象，α 是一组相容的同构。
• 使用2-范畴版本的过滤余极限构造，其中相干性数据通过可逆2-细胞编码，相容性通过公理强制实现。
• 证明该构造是良定义的，并在2-范畴为平凡（即无非恒等2-细胞）时，给出与标准过滤余极限等价的范畴。
• 确立完整的2-过滤公理（包括更强的相干性条件 FF1）是确保双极限保持有限极限并诱导范畴等价的必要条件。
• 将2-过滤2-范畴的概念与 Kennison 早期提出的双过滤2-范畴概念进行比较，通过一个非平凡但基本的论证证明二者等价。

实验结果

研究问题

• RQ1 何种2-范畴条件可确保2-函子到 Cat 的双极限存在且具有理想性质？
• RQ2 2-函子双极限的构造如何推广范畴论中的经典过滤余极限构造？
• RQ3 在2-范畴设定下构造双极限所需的最小公理集是什么？
• RQ4 2-过滤2-范畴与 Kennison 的双过滤2-范畴概念有何关系？
• RQ5 2-函子的双极限在何种条件下保持有限极限？这对2-范畴范畴论有何意义？

主要发现

• 当一个范畴被视为平凡2-范畴时，它为2-过滤当且仅当它是过滤范畴，且该构造给出一个与标准过滤余极限等价的范畴。
• 双极限 LL(F) 的构造在较弱的预2-过滤公理下成立，但完整的2-过滤公理是确保双极限具备过滤余极限本质性质的必要条件。
• 当2-函子 F 映射到有限完备范畴及其保持有限极限的函子构成的2-范畴时，范畴 LL(F) 具有有限极限。
• 伪锥函子 λ_A: F(A) → LL(F) 保持有限极限，并在 LL(F) 到任意范畴 X 的有限极限保持函子范畴与从 F 到 X 的伪锥范畴之间诱导出一个同构。
• 2-过滤2-范畴的概念与 Kennison 的双过滤2-范畴概念等价，尽管该等价性的证明是非平凡的。
• 该构造关键依赖于公理 FF1（其确保相容态射族的相干性），且该公理对于结果等价性的忠实性与满射性至关重要。