Funtorialità

[solaàl]

Non vedo il problema, la totalità del diagramma dimostra che $fu$ è omotopa a $gu$; per farlo, usa l'ipotesi che $f$ sia omotopa a $g$.

I teoremi si fanno con le ipotesi

[3m0o]

Quindi \( f_* u = f \circ u \) e analogamente con \(g \)? Il problema è che non sono in chiarissimo su chi siano \( f_* u \) e \( g_* u \), mi sto confondendo.