Основы теории дериваторов

Дериватор — объект гомотопической алгебры, аксиоматические свойства которого позволяют включать в рассмотрение такие конструкции, как гомотопические (ко)пределы, естественно возникающие в задаче о локализации категорий, и описание которых в терминах одной лишь гомотопической категории невозможно. Я постараюсь дать разъяснение основных аксиом, входящих в определение дериватора, а также попробую показать связь между специальным классом дериваторов и триангулированными категориями.