Третья версия -- https://arxiv.org/abs/2002.12331
Красивые диаграммы с криволинейными стрелочками, придуманные сначала для доклада на семинаре с доской и мелом, а потом нарисованные в бимере для доклада через зум (вот эти слайды -- http://users.math.cas.cz/~positselski/derived-adic-complete-nopause.pdf ) добавлены теперь в завершающий раздел статьи.
Красивые диаграммы с криволинейными стрелочками, придуманные сначала для доклада на семинаре с доской и мелом, а потом нарисованные в бимере для доклада через зум (вот эти слайды -- http://users.math.cas.cz/~positselski/derived-adic-complete-nopause.pdf ) добавлены теперь в завершающий раздел статьи.