Add functionality to sage to compute the effect of a simplicial complex morphism on homology and cohomology.

This patch will rely on fuctionality in #6099, #6100, #6102, and #5882.

Depends on #19179
Depends on #6102
Depends on #18175

CC: @jhpalmieri @nthiery @simon-king-jena

Component: algebraic topology

Author: John Palmieri

Branch/Commit: e9150ca

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/6101