ScalingStacks

0NJP

Definition 2.16. Let ๐’ž\mathcal{C} be an โˆž\infty-category. Then we will say that a functor X:๐’žopโ†’๐’ฎโˆžX\colon\mathcal{C}^{\op}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{S}}_{\infty} is stably representable if there exists a spectrum object AโˆˆSpโก(๐’žโˆ—)A\in\mathrm{Sp}(\mathcal{C}_{*}) and an equivalence Mapโก(โˆ’,A)โ‰ƒX\mathrm{Map}(-,A)\simeq X, where Mapโก(โˆ’,A)\mathrm{Map}(-,A) denotes the functor ๐’žopโ†’๐’ฎโˆž\mathcal{C}^{\op}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{S}}_{\infty} represented by AA via the spectral Yoneda embedding Spโก(๐’žโˆ—)โ†’Funโก(๐’žop,๐’ฎโˆž)\mathrm{Sp}(\mathcal{C}_{*})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{Fun}(\mathcal{C}^{\op},{\mathcal{S}}_{\infty}).

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