Полдела сделано, практически

http://positselski.narod.ru/curved-a-infty.ps

В оставшейся части раздела 4 надо использовать аргумент Димы А., а в остальном, вроде, все понятно. К разделу 5 есть черновик. Раздел 6 следует соответствующему разделу мемуара Two kinds of derived categories... с минимальными, предположительно, изменениями. Раздел 7 надо придумать, основываясь на соответствующем материале из диссертации Л.-Х.