3 problems

Derived D-module equivalence. There exists a symmetric monoidal equivalence

Let $X$ be a derived Artin stack, let $B$ be a derived commutative algebra over the de Rham stack $X_{DR}$, and write $X_B=X\mathbin{\times}_{X_{DR}}\operatorname{Spec}(B)$. Let…

Let $X$ and $Y$ be derived stacks, and let $\boldsymbol{\operatorname{IndCoh}}(Y)$ and $\boldsymbol{\operatorname{QCoh}}(Y)$ denote the ind-coherent and quasi-coherent categories o…