The higher formality conjecture for derived stacks
Let n≥0n\geq 0n≥0, let XXX be a nice enough derived algebraic stack, and let HH^En+1(X)\widehat{HH}^{E_{n+1}}(X)HHEn+1(X) denote its formal higher Hochschild cohomology, so that…