1 problem

Let ${\mathbf{Spt}}^\Sigma_{{\mathbb P}^1}(k)$ be the category of symmetric $\mathbb{P}^1$-spectra over $k$, and let ${\operatorname{{\mathcal S}{\mathcal H}}}(k)$ be its homotopy…