论文标题
定理A适用于标记的2类
Theorem A for marked 2-categories
论文作者
论文摘要
在这项工作中，我们证明了Quillen定理A对配备了一系列特殊形态的两类的概括，我们认为这是弱等价的，为2个函数提供了足够的条件，以诱导$（\ infty，1）$ - 本地化。当限于标有所有形态的1类时，我们的定理会检索Quillen的经典定理。我们还指出并提供了一个新的猜想的证据：辅助猜想，它描述了标记$（\ infty，2）$ - colimits的猜想理论与我们对定理A的概括之间的关系。
In this work, we prove a generalization of Quillen's Theorem A to 2-categories equipped with a special set of morphisms which we think of as weak equivalences, providing sufficient conditions for a 2-functor to induce an equivalence on $(\infty,1)$-localizations. When restricted to 1-categories with all morphisms marked, our theorem retrieves the classical Theorem A of Quillen. We additionally state and provide evidence for a new conjecture: the cofinality conjecture, which describes the relation between a conjectural theory of marked $(\infty,2)$-colimits and our generalization of Theorem A.
