Двенадцать лет назад

[posic]

Чему нас учат производная неоднородная кошулева двойственность и полубесконечная гомологическая алгебра? Тому, что у модулей надо брать производные категории, у комодулей -- копроизводные, а у контрамодулей -- контрапроизводные.

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

В первой половине 2009 года я интенсивно размышлял над этим странным вопросом:

https://posic.livejournal.com/255513.html
https://posic.livejournal.com/289487.html
https://posic.livejournal.com/290276.html

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