Исчисление стягиваемых объектов
Oct. 9th, 2021 05:59 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posic"Стягиваемый" -- значит на математическом жаргоне "гомотопически эквивалентный нулю" (в аддитивном контексте; или "пространству, состоящему из одной точки" в неаддитивном). Исчисление стягиваемых объектов в DG-категориях какое-то у меня получается. Десятки страниц исчисления стягиваемых объектов. Скажем, вот подраздел про функтор конуса тождественного эндоморфизма только что дописан. Он состоит из пяти лемм и занимает почти три с половиной страницы.
