{"id":"arxiv/2609.01473","url":"https://arxiv.org/abs/2609.01473","tags":["math.AT","math.KT"],"score":0,"title":"Keller sequences of exact $\\infty$-categories","domain":"math.AT","source":"arxiv","authors":["Yonatan Harpaz","Daniel Marlowe"],"reviews":0,"subject":"math.AT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}