Homotopy functoriality for Khovanov spectra

Abstract

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