关于余极限与 2-余极限的等价性

我们在群oid的 2-范畴中，于某类偏序集上比较严格 2-函子的余极限与 2-余极限。这些偏序集具有特殊重要性，因为它们对应于拓扑空间的覆盖。本文的主要结果给出了 2-函子 $\mathfrak{F}$ 满足 $\mathsf{colim}\mathfrak{F}\simeq2\mathsf{colim}\mathfrak{F}$ 的条件。容易看出，任意 2-函子 $\mathfrak{F}$ 可形变为满足定理条件的 2-函子 $\mathfrak{F}'$。最后，我们还优化了条件，将复杂度从指数级降至多项式级。