Homotopy functoriality for Khovanov spectra

We prove that the Khovanov spectra associated to links and tangles are functorial up to homotopy and sign.