Se dice que dos espacios "X", "Y" tienen el mismo tipo homotópico, si existe un par de aplicaciones formula_7 y formula_8 tales que formula_9 y formula_10 son homotópicos a formula_11 y formula_12 respectivamente.