关于余极限和2-余极限的等价性
摘要：对群体的拓扑空间的覆盖，我们比较了2-范畴中严格2-函子的余极限和2-余极限。本文的主要结果给出了对于2-函子$mathfrak{F}$的条件，使得$mathsf{colim}mathfrak{F}simeq2mathsf{colim}mathfrak{F}$。很容易看出，任何2-函子$mathfrak{F}$都可以变形为一个满足定理条件的2-函子$mathfrak{F}'$。最后，我们还优化了条件，将其从指数复杂度降低到多项式复杂度。
作者：Ilia Pirashvili
论文ID：1905.11288
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-10