all abelian categories are exact categories, but not all exact categories are abelian. because quillen was able to work in this more general situation, he was able to use exact categories as tools in his proofs. this technique allowed him to prove many of the basic theorems of algebraic "k"-theory. additionally, it was possible to prove that the earlier definitions of swan and gersten were equivalent to quillen's under certain conditions.