Quasi-coherent torsion sheaves, the coderived category, and the cotensor product https://arxiv.org/abs/2104.05517 -- это еще только котензорное произведение, т.е., база расслоения. Полутензорное произведение (на тотальном пространстве) планируется в недалекой перспективе.
Философию см. во введении к препринту шестилетней давности (апреля 2015), опубликованному впоследствии в Selecta Math. (2017).