Кошулевость когомологий = К(π,1)-ность + квазиформальность

[posic]

Раздел 3 про некоммутативную рациональную теорию гомотопий написан, вместе с необходимым для него приложением; основная теорема в разделе 4 сформулирована -- http://positselski.narod.ru/qf.pdf (29 страниц)