Symmetric powers in stable homotopy cats by Guletskii and Gorchinskiy
nLab page on Abstract stable homotopy theory