homotony

not defined yet