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}).