The smash product for derived categories in stable homotopy theory
arXiv:1004.0006 · doi:10.1016/j.aim.2012.04.012
Abstract
An E_1 (or A-infinity) ring spectrum R has a derived category of modules D_R. An E_2 structure on R endows D_R with a monoidal product. An E_3 structure on R endows the monoidal product with a braiding. If the E_3 structure extends to an E_4 structure then the braided monoidal product is symmetric monoidal.
Minor corrections