Universal cohomology class of an Eilenberg–MacLane space
ID: universal-cohomology-class-of-an-eilenberg-maclane-space
For abelian and , the identity of determines this class under . Pulling it back realizes representability of cohomology by Eilenberg–MacLane spaces. A map inducing this class on a fiber induces the identity of its unique positive homotopy group.
New to topics? Read the docs here!