Контрпример к контрагерентности прямых образов

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

Съездил на работу, внес накопившуюся правку

и главное, вбил контрпример к контрагерентности прямых образов. Как это водится, оказалось, что в моих вычислениях была ошибка, которую удалось заделать ценой усложнения конструкции. Из двумерной, картинка стала трехмерной.

Неслабое получается у меня вычитывание рукописи на предмет мелкой правки! Что ж, буду дальше продолжать.