Semi-Infinite Algebraic Geometry of Quasi-Coherent Sheaves on Ind-Schemes

The main output of the homological theory developed in this monograph is the functor of semitensor product on the semiderived category of quasi-coherent torsion sheaves, endowing the semiderived category with the structure of a tensor triangulated category.