A devissage theorem in Waldhausen \(K\)-theory (Q1902096)

Quillen has proved a devissage theorem for the \(K\)-theory of abelian categories; it says that under certain conditions an embedding of abelian categories induces a homotopy equivalence in \(K\)-theory. In this paper the author proves a result of the same form for Waldhausen's algebraic \(K\)-theory of categories with cofibrations and weak equivalences. Although this result is analogous to Quillen's theorem, it is not strictly a generalization.