The localisation theorem for the K-theory of stable ∞-categories
- We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic K-theory of stable infity-categories. It is based on a general formula for the evaluation of an additive functor on a Verdier quotient closely following work of Waldhausen. We also include a new proof of the additivity theorem of K-theory, strongly inspired by Ranicki's algebraic Thom construction, a short proof of the universality theorem of Blumberg, Gepner and Tabuada, and a second proof of the cofinality theorem which is based on the universal property of K-theory.