by Dennis Gaitsgory, Nick Rozenblyum
Derived algebraic geometry is a far-reaching generalization of algebraic geometry. It has found numerous applications in various parts of mathematics, most prominently in representation theory. Thi…