Исчисление стягиваемых объектов

"Стягиваемый" -- значит на математическом жаргоне "гомотопически эквивалентный нулю" (в аддитивном контексте; или "пространству, состоящему из одной точки" в неаддитивном). Исчисление стягиваемых объектов в DG-категориях какое-то у меня получается. Десятки страниц исчисления стягиваемых объектов. Скажем, вот подраздел про функтор конуса тождественного эндоморфизма только что дописан. Он состоит из пяти лемм и занимает почти три с половиной страницы.