ScalingStacks

Theorem 7.4.37 (Auroux). There is a fully faithful $A_{\infty}$-functor

$$\Phi:{\mathcal{A}}(Z,n)\to{\mathcal{F}}(\mathrm{Sym}^{n}F,S),\ I\mapsto\prod_{i\in I}\omega_{i},\ \theta\mapsto(\chi(\theta),(f(\theta_{s}))_{s})$$

inducing an equivalence of derived categories.