Чем дальше в лес, тем разбегаются глаза

Думаю, может быть, мне еще написать про копроизводные и контрапроизводные категории в смысле Беккера для абелевых DG-категорий? Для абелевых DG-категорий Гротендика, для локально представимых абелевых DG-категорий с достаточным количеством проективных объектов?

Exact DG-categories and fully faithful triangulated inclusion functors

Пятая версия, все еще неполная -- https://arxiv.org/abs/2110.08237

Я даже не решусь сейчас уверенно сказать, насколько именно неполная. Я собирался еще один раздел добавить, девятый и последний, но начал теперь думать, что может быть, стоит добавить больше.