nLab
smash product of spectra