Localisation theorems for the connective K-theory of exact categories

Abstract

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and Schlichting's localisation theorem for s-filtering subcategories.

42 pages; v2: various small improvements following a referee report