Fournir des outils algébriques pour la topologie et la géométrie différentielle.