ScalingStacks

0NJN

Definition 2.15. Let ๐’ž{\mathcal{C}} be stable โˆž\infty-category. The spectral Yoneda embedding is the composite

๐’žโ‰ƒSpโก(๐’žโˆ—)โŸถSpโก(Funโ€‹(๐’žop,Nโ€‹(๐’ฏ)cf)โˆ—)โ‰ƒFunโก(๐’žop,๐’ฎโˆž).\mathcal{C}\simeq\mathrm{Sp}(\mathcal{C}_{*})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{Sp}(\mathrm{Fun}(\mathcal{C}^{\op},\mathrm{N}({\mathcal{T}})^{\cf})_{*})\simeq\mathrm{Fun}(\mathcal{C}^{\op},{\mathcal{S}}_{\infty}).

The mapping spectrum functor

Map:๐’žopร—๐’žโŸถ๐’ฎโˆž\mathrm{Map}\colon\mathcal{C}^{\op}\times\mathcal{C}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{S}}_{\infty}

is the adjoint of the spectral Yoneda embedding.

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