En topología algebraica, una homotopía simplicial [1] pg 23 es análoga a 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
tal que el diagrama (ver [1]) formado por f , g y h conmuta; la clave es usar el diagrama que resulta en y para todo x en X .