 Functoriality of homology

ID: functoriality-of-homology

f : X \to Y

f_{*} : H_{n} (X) \to H_{n} (Y)

satisfying

(g \circ f)_{*} = g_{*} \circ f_{*}

and

(id_{X})_{*} = id_{H_{n} (X)}

 New to topics? Read the docs here!