matemáticas: teoría que asigna un sistema de grupos cociente a cada espacio topológico