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

https://arxiv.org/abs/2104.05517

Третья версия, содержащая уже весь материал, анонсированный в коротком введении (но еще далеко не все, что хотелось бы прописать и включить).

Добавилось довольно подробное обсуждение (хотя и не сказать, чтобы со всеми деталями доказательство) сравнения с полубесконечными гомологиями полукоммутативных полуалгебр над кокоммутативными коалгебрами.