Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Induced morphism on unreduced homology and relative homology

From the documentation, it is clear how to get the induced map on reduced homology from a simplicial map.

Can one get it for: - unreduced homology - relative homology

I can get both constructions by explicitly constructing chain complexes and then computing homology. I can also construct the morphism between chain complexes - but it is not clear how to get the induced map from this as the documentation asks for a simplicial map.

Ultimately, I map the basis from one complex to the other and then reduce - but I was wondering whether there was a cleaner way.

Induced morphism on unreduced homology and relative homology

From the documentation, it is clear how to get the induced map on reduced homology from a simplicial map.

Can one get it for: - unreduced homology - relative homology

I can get both constructions by explicitly constructing chain complexes and then computing homology. I can also construct the morphism between chain complexes - but it is not clear how to get the induced map from this as the documentation asks for a simplicial map.

Ultimately, I map the basis from one complex to the other and then reduce - but I was wondering whether there was a cleaner way.

Induced morphism on unreduced homology and relative homology

From the documentation, it is clear how to get the induced map on reduced homology from a simplicial map.

Can one get it for: - for:

  • unreduced homology - homology

  • relative homology

I can get both constructions by explicitly constructing chain complexes and then computing homology. I can also construct the morphism between chain complexes - but it is not clear how to get the induced map from this as the documentation asks for a simplicial map.

Ultimately, I map the basis from one complex to the other and then reduce - but I was wondering whether there was a cleaner way.