Exact DG-categories and fully faithful triangulated inclusion functors

Седьмая версия, уже не очень сильно отличающаяся от шестой. Ошибка исправлена, немножко материала добавлено здесь и там, в доказательстве теоремы выделена лемма -- https://arxiv.org/abs/2110.08237

Upd.: Ох, нашел еще одну ошибку. Доказательство леммы 9.19 не проходит, и сама эта лемма вряд ли верна. Мне кажется, это заделывается, но доказательство теоремы 9.20 нужно переписать по-другому.