Equivariant Khovanov homotopy types

We investigate group actions on homotopy coherent diagrams. This is used to prove an equivalence between realizations of equivariant cubical flow categories and external actions on Burnside functors. In particular, the results imply that the equivariant Khovanov homotopy types defined by Borodzik, Politarczyk, Silvero (arXiv:1807.08795) and Stoffregen, Zhang (arXiv:1810.04769) are equivariantly stably homotopy equivalent.