En general, todas las construcciones de la topología algebraica son funtoriales: las nociones de categoría, funtor y transformación natural se originaron aquí.