Couvre la topologie algébrique, les nombres de Betti et les méthodes de représentation de la forme pour une mesure et une analyse efficaces de la forme des données.
Introduit les axiomes d'Eilenberg-Steenrod dans la théorie de l'homologie, définissant des propriétés telles que l'invariance et l'exactitude de l'homotopie.