The $ (\infty, 1)$ category $ Sp$ of spectra as defined by Lurie in Higher Algebra has the structure of a symmetric monoidal category. Although I know the definition of symmetric monoidal category in the $ (\infty, 1)$ setting and can reasonably follow Lurie’s arguments in Higher Algebra as to why $ Sp$ has suchRead more