homotopy

not defined yet