Una utilización de ésta consideración es que las principales teorías de la topología algebraica tales como la homología, cohomología y la homotopía son verdaderos functores que asignan -por ejemplo la homología- a un par topológico formula_20 una familia de grupos abelianos formula_21 que formarán una complejo de cadenas