正合∞-范畴的Keller序列
Keller sequences of exact $\infty$-categories
AI总结：
该研究推广稳定∞-范畴的Verdier序列为正合∞-范畴的Keller序列，证明代数K-理论对其局部化，据此给出Quillen分解定理的范畴论证明，并利用Keller的映射空间刻画推导Keller定理的另一证明。
AI中文摘要：
我们研究正合∞-范畴的∞-范畴中的一族纤射-余纤射序列，将其命名为Keller序列，这是稳定∞-范畴的Verdier序列概念的推广。我们证明代数K-理论相对于该族序列是局部化的，并利用这一点给出Quillen分解定理的一个范畴论证明。我们的论证依赖于Keller所研究的特殊包含的映射空间刻画，由此我们推导出Keller定理的另一个证明，即这类包含在稳定包上诱导完全忠实函子。
英文摘要：
We study a family of fibre-cofibre sequences in the $\infty$-category of exact $\infty$-categories, which we call Keller sequences, generalising the notion of Verdier sequences of stable $\infty$-categories. We show that algebraic K-theory is localising with respect to this family, and use this to give a categorical proof of Quillen's resolution theorem. Our arguments hinge upon a mapping space characterisation of special inclusions as studied by Keller, from which we deduce another proof of Keller's theorem that such inclusions induce fully faithful functors on stable envelopes.
