Вот за этим нужна эта вычитка
Читал, читал и нашел вопиющую ошибку в доказательстве основного результата главы 8 (полуко-полуконтра соответствия). Формула согласованности контратензорных произведений с прямыми образами (3.25) доказана в разделе 3.8 только для аффинных морфизмов, для морфизма π в контексте раздела 8.4 ее использовать нельзя.

Надо заделывать теперь как-то. Я надеюсь, изоморфизм (3.25) для неаффинных морфизмов должен быть верен для подходящих классов приспособленных копучков, и доказываться из соображений антилокальности (редукции к аффинному случаю)...