Represented homology theory (source code)

= Represented homology theory
{title2=$\widetilde E_*(X)$}

= Represented homology theories
{synonym}

A <topological spectrum> $E$ represents the reduced <generalized homology theory> $\widetilde E_k(X)=\pi_k(E\wedge\Sigma^\infty X)$ on <based spaces>, where the <smash product of spectra> is derived. It is covariant in $X$.