Se puede entonces definir una noción de homotopía entre los homomorfismos de grafos orientados análoga a la existente entre las funciones continuas.