I will review Khovanov homology in terms of a functor from the cube category to the category of (graded) abelian groups. I will describe how to factor this functor through the Burnside category, and how such a factorization allows us to refine Khovanov homology to a Khovanov stable homotopy type. This work is joint with Tyler Lawson and Robert Lipshitz.