Text this: EQUIVARIANT HOMOTOPY TYPE