ScalingStacks

0NLD

Corollary 4.27. Let 𝒜{\mathcal{A}} and ℬ{\mathcal{B}} be idempotent-complete small stable ∞\infty-categories and let Υ⁡(A)\Upsilon(A) and Υ⁡(B)\Upsilon(B) be spectral categories lifting 𝒜{\mathcal{A}} and ℬ{\mathcal{B}}. Then N⁡(rep⁡(𝒜,ℬ))≃Funex​(𝒜,ℬ)\mathrm{N}(\mathrm{rep}({\mathcal{A}},{\mathcal{B}}))\simeq\mathrm{Fun}^{\ex}\!({\mathcal{A}},\!{\mathcal{B}}) is equivalent to the ∞\infty-category of right-compact Υ​(A)op∧Υ⁡(B)\Upsilon(A)^{\op}\wedge\Upsilon(B)-modules.

0NLE

Proof. This follows from theorem 4.23 and corollary 3.3. ∎

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

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4