ホモロジー群formula_6もまた関手的であるということが従い、それゆえ代数的あるいは幾何学的対象の間の射はそれらのホモロジーの間の両立する(compatible)写像を引き起こす。