Злонравия достойные плоды

Написал дополнительную секцию к длинной статье, сейчас пошлю новую версию в Архив. Старался, как во всей статье, все сделать в максимальной общности, чем добился поразительного результата: DG-категория, по существу, CDG-модулей, определяется в предположении, что CDG-алгебра кошулева. Без этого предположения заставить определение работать не удалось. Зато все над кокольцом, а кокольцо над кольцом...