Con el desarrollo de la teoría de homología al incluir K-teoría y otras teorías "extraordinarias" a partir de 1955, se observó que la homología "H" podría ser substituida por otras teorías, una vez que los productos de variedades fueran construidos; y ahora hay tratamientos de libro de texto con toda generalidad.