Induced morphism on unreduced homology and relative homology

asked 2023-12-10 19:33:34 +0200

ps231 gravatar image

updated 2023-12-10 19:34:27 +0200

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.

edit retag flag offensive close merge delete


I don't think anything else is implemented, so the procedure you describe is probably the best thing.

John Palmieri gravatar imageJohn Palmieri ( 2023-12-13 23:19:52 +0200 )edit