Разъясняю производный функтор тензорного произведения DG-модулей -- http://community.livejournal.com/ru_math/456131.html