Equivariant Khovanov homotopy types

Jakub Paliga

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…