ホモトピーの公理によってformula_57はまた関手であり、ホモロジー関手と呼ばれ、htop,商、に作用する。