Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product

[posic]

Вторая версия, под новым названием (уже не временным, а предположительно окончательным) -- https://arxiv.org/abs/2104.05517 . По замыслу, еще далеко не полная, но уже дающая представление, о чем идет речь.

Полубесконечная алгебраическая геометрия! Что это такое вообще? Это когда полупроизводная категория. На полупроизводных (полупроизводных-полукопроизводных) категориях бывают определены двусторонние производные функторы.