Deakstadieđáhus: EQUIVARIANT HOMOTOPY TYPE