Representability of cohomology by Eilenberg–MacLane spaces
ID: representability-of-cohomology-by-eilenberg-maclane-spaces
For a CW complex , abelian and , homotopy classes of maps to the Eilenberg–MacLane space correspond to cohomology classes by pullback of the universal cohomology class of an Eilenberg–MacLane space. Pointed maps give the reduced version. This converts a cohomology class into an actual map realizing its effect on homotopy.
New to topics? Read the docs here!