Systems of Diagram Categories and K-theory. II
arXiv:math/0401433
Abstract
The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity, approximation and resolution theorems.
This is the final version (to appear in Mathematische Zeitschrift)