2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/70016The 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)K-Theory and HomologyCategory Theory19D99text