Точные DG-категории

Есть DG-категории, есть точные категории, а есть еще точные DG-категории. На самом деле, точные DG-категории нужны для того, чтобы сопоставлять им производные категории второго рода, и доказывать обычные свойства этих производных категорий в максимальной общности.

( Ошибочный текст )