The monadic description of derived D-modules for derived affine schemes
Derived D-module equivalence. There exists a symmetric monoidal equivalence
MathDB