Omologia

[ka4223]

Siano X e Y due spazi topologici. Se f è un omeomorfismo di X in Y.

Come posso provare che i gruppi $H(X, G)$ e $H(Y, G)$ sono isomorfi?

Grazie!!!

[killing_buddha]

Perché li vuoi evitare?

[ka4223]

semplicemente perchè finora non sono stati oggetti di studio.

[apatriarca]

Posso chiedere il titolo di questo libro? E' così strano vedere un libro su questi argomenti che non faccia riferimento alla teoria delle categorie...

[ka4223]

Ma avete qualche idea? non so, magari poi vado ad approfondire se non si discosta molto dal mio studio.

[j18eos]

Se ti accontenti di uhn riferimento bibliografico: Warner - Foundations of differential geometry and Lie groups, penultimo capitolo.

Per motivi di tesi la coomologia di fasci & co. la sto studiando da li', e non usa il linguaggio categoriale!

[killing_buddha]

Anche il libro di Abate e Tovena Geometria Differenziale sta abbastanza lontano dai funtori (ma poi te li spiega, per fortuna).
Il tuo problema pero' e' di una abbacinante semplicita' usando la funtorialita' di \(H^*\), non so quanto ti convenga evitarla.