Equivariant homology theory