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

[posic]

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

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

Comments

[posic.livejournal.com]

Ну да, задать топологию (структуру топологического пространства) на множестве — значит сказать, какие его подмножества называются открытыми (открытыми в этой топологии). Словом "окрестность" тоже бывает удобно пользоваться, конечно, но скорее окрестности определяются через открытые множества, чем открытые множества через окрестности.