Еще наивный вопрос

Я раньше слышал краем уха про "DG-schemes" и "DG-geometry", но не знаю, зачем это надо. Еще бывают DG-категории не над полем, а над суперкоммутативной DG-алгеброй. А вот где встречаются такие штуки, "по жизни"? Может, при изучении пространств модулей? Например, если у нас пространтво модулей голоморфных расслоений на комплексном многообразии Х, следует ли думать про него как "пространство" над DG-алгеброй Дольбо многообразия Х?