Corollary 1.13. Let be a perfect stack, and let be a finite simplicial set. Then there is a canonical equivalence , where denotes the derived mapping stack, and the tensor of stable -categories over simplicial sets.
Original source: arXiv:0805.0157v5