Assume that C is a stable infinity category; $SH\_{fin}$ is the homotopy category of finite spectra. Is there a canonical bi-functor (action? module structure?) $SH\_{fin}\times hC \to hC$?


Is there any "canonical" formulation of this statement; what about the properties of this bi-functor? It possibly follows from Proposition 4.8.12.8 of Lurie's Higher Algebra, but I don't really understand what the latter says and do not want to read the whole book.



Does the homotopy category of finite spectra act on stable homotopy categories?
Yes: Since $\mathcal{C}$ is stable, $\operatorname{Fun}(\mathcal{C},\mathcal{C})$ is stable, too. In particular, it has finite colimits, so $\operatorname{Ind}\operatorname{Fun}(\mathcal{C},\mathcal{C})$ has all colimits. So we get a unique colimit-preserving functor $\mathcal{S} \to \operatorname{Ind}\operatorname{Fun}(\mathcal{C},\mathcal{C})$ taking the one-point space to the identity functor, and this extends further to a unique exact functor $\operatorname{Sp}\to \operatorname{Ind}\operatorname{Fun}(\mathcal{C},\mathcal{C})$. Passage to compact objects gives a functor $\operatorname{Sp}^\omega \to \operatorname{Fun}(\mathcal{C},\mathcal{C})$, or equivalently $\operatorname{Sp}^\omega \times \mathcal{C}\to \mathcal{C}$.


