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

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