| 2:53a |
Стягиваемый комплекс
в абелевой категории (естественным образом, если задана стягивающая гомотопия) разваливается в прямую сумму двучленных комплексов 0 → Zi → Zi → 0. Какой общий вид имеет стягиваемый CDG-модуль?
(Я знаю, что можно свободно натянуть CDG-модуль на градуированный модуль, и получится стягиваемый CDG-модуль. Я не вижу, почему произвольный стягиваемый CDG-модуль имеет такой вид.) |