Definition of "homotopies"

homotopies