Keller sequences of exact $\infty$-categories
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.01473
curl -X POST /api/v1/records/arxiv/2609.01473/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.01473/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'