  The (A)CGW categories of Campbell and Zakharevich show how finite sets and
varieties behave like the objects of an exact category for the purpose of
algebraic $K$-theory. We further develop that program by defining chain
complexes and quasi-isomorphisms for any category with suitably nice
coproducts. In particular, chain complexes of finite sets satisfy an analogue
of the Gillet--Waldhausen Theorem: their $K$-theory agrees with the classical
$K$-theory of finite sets. Along the way, we define new double categorical
structures that modify those of Campbell and Zakharevich to include the data of
weak equivalences. These ECGW categories produce $K$-theory spectra which
satisfy analogues of the Additivity and Fibration Theorems. The weak
equivalences are determined by a subcategory of acyclic objects satisfying
minimal conditions, resulting in a Localization Theorem that generalizes
previous versions in the literature.
