Производная категория DG-коалгебры

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