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

Восьмая версия -- https://arxiv.org/abs/2104.05517 . Добавлено замечание про компактную порожденность полупроизводных категорий.