1. У математиці, зокрема в алгебричній топології — властивість двох неперервних відображень між топологічними просторами бути когомотопними, тобто такими, що одне можна неперервно перетворити на інше, розглядаючи відповідні когомологічні класи.
2. Властивість інваріантності когомологій відносно гомотопічної еквівалентності; факт, що когомологічні групи простору не змінюються при його гомотопічних деформаціях.