En topología algebraica, una homotopía simplicial [1] pg 23 es un análogo de una homotopía entre espacios topológicos para conjuntos simpliciales . Si
son mapas entre conjuntos simpliciales, una homotopía simplicial de f a g es un mapa
de modo que el diagrama (ver [1]) formado por f , g y h conmuta; la clave es utilizar el diagrama que resulta en y para todo x en X .