Wiktionary
homotop
n. Any of a group of structures related by homotopy
n. Any of a group of structures related by homotopy