Системы диаграммных категорий и $K$-теория. I

Всякой левой системе диаграммных категорий и всякому левому выделенному дериватору сопоставляется пространство $K$-теории. Эта $K$-теория — канонически бесконечнократное пространство петель и имеет много общих свойств с $K$-теорией Вальдхаузена. Доказана ослабленная теорема аддитивности, а также, что $K$-теория Квиллена для широкого семейства точных категорий, включающего абелевы категории, является ретрактом $K$-теории ассоциированного дериватора.