2 added 156 characters in body; added 1 characters in body

One can define the $G$-equivariant cohomology of a space $X$ as being the ordinary singular cohomology of $X \times_G EG$ --- I think this is due to Borel? (See e.g. section 2 of these notes)

Alternatively if $X$ is a manifold, we also have $G$-equivariant de Rham cohomology, defined in terms of $G$-equivariant differential forms --- I think this is due to Cartan? (See e.g. section 3 of loc. cit.)

I suspect this is extremely standard or obvious, but if it is, I don't know where it's written down: Is it possible to define equivariant cohomology of a topological space in terms of some notion of "equivariant singular cochains", that is, without using the Borel construction?

1

# Equivariant singular cohomology

One can define the $G$-equivariant cohomology of a space $X$ as being the ordinary singular cohomology of $X \times_G EG$ --- I think this is due to Borel?

Alternatively if $X$ is a manifold, we also have $G$-equivariant de Rham cohomology, defined in terms of $G$-equivariant differential forms --- I think this is due to Cartan?

I suspect this is extremely standard or obvious, but if it is, I don't know where it's written down: Is it possible to define equivariant cohomology of a topological space in terms of some notion of "equivariant singular cochains", that is, without using the Borel construction?