Lemma 9.47. The symmetric monoidal functor is right adjoint to the Eilenberg-MacLane spectrum functor , which is lax symmetric monoidal. It induces a functor
from categories enriched in connective symmetric spectra to categories enriched in abelian groups with right adjoint .