Contraherent cosheaves on schemes Двадцать вторая версия, или шестнадцатая в новой серии --
https://arxiv.org/abs/1209.2995Ошибка, внесенная при предыдущей правке доказательства леммы 6.7.2 + ошибка, обнаруженная в доказательстве основной теоремы главы 8 (о чем я писал здесь) в новой версии исправлены.
Плюс к тому добавлен контрпример к сохранению контрагерентности прямыми образами при неаффинных морфизмах. Производный функтор прямого образа контрагерентных копучков при неаффинных морфизмах, конечно, существует и обсуждается в тексте в разных вариантах, а непроизводный функтор прямого образа лишь частично определен (определен только на приспособленных объектах), как это бывает с неточными функторами между точными категориями.