homotypy

not defined yet