Contraherent cosheaves on schemes Вот новая версия --
https://arxiv.org/abs/1209.2995 . В ней доказано, что производная категория контрагерентных копучков локально кокручения эквивалентна производной категории локально контраприспособленных контрагерентных копучков (на квазикомпактной полуотделимой схеме). Это речь идет про обычные производные категории, а не контрапроизводные.
Вот постинг от 14 мая 2020 года, где впервые сформулирован этот результат --
https://posic.livejournal.com/2140716.html . При этом доказательство, подразумевавшееся в этом старом постинге, не проходит, как я впоследствии осознал. "Стандартный аргумент" не работает, потому что в категории контрагерентных копучков нет коядер. Правильное рассуждение было придумано в ноябре 2022 года. Теперь оно на Архиве.