ScalingStacks

0NW9

Corollary 1.13. Let XX be a perfect stack, and let Σ\Sigma be a finite simplicial set. Then there is a canonical equivalence QC⁡(XΣ)≃QC⁡(X)⊗Σ\qc(X^{\Sigma})\simeq\qc(X)\otimes\Sigma, where XΣ=Map⁡(Σ,X)X^{\Sigma}=\Map(\Sigma,X) denotes the derived mapping stack, and −⊗Σ-\otimes\Sigma the tensor of stable ∞\infty-categories over simplicial sets.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Ben-Zvi, John Francis, David Nadler

Original source: arXiv:0805.0157v5