Статья про квазиформальность и кошулевость
Приложение пришлось все же выкинуть как нерелевантное, и раздел 3 существенно сократился (зато там теперь все совсем просто и, я надеюсь, понятно). Может быть, не пригодившиеся здесь куски текста войдут в отдельную статью про ко/контраизоморфизмы CDG-(ко)алгебр.

Тем временм, раздел 4 написан и основной результат раздела 5 сформулирован -- http://positselski.narod.ru/qf.pdf (24 страницы).