ScalingStacks

Theorem 5.3. Suppose $p:X\to Y$ is a map of perfect stacks satisfying descent. Then there is a canonical equivalence

$$\mathcal{Z}(\qc(X\times_{Y}X))\simeq\qc(\mathcal{L}Y)$$

such that the forgetful functor $\mathfrak{z}:\mathcal{Z}(\qc(X\times_{Y}X))\to\qc(X\times_{Y}X)$ is given by the correspondence $\delta_{*}\pi^{*}:\qc(\mathcal{L}Y)\to\qc(X\times_{Y}X)$.