とくに、ホモロジー群は位相空間の圏topからアーベル群の圏abへの関手であると理解することができる。