1. Розділ алгебричної топології, що вивчає властивості топологічних просторів за допомогою інваріантів, які називаються когомологічними групами; теорія, двоїста до гомології.
2. Система абелевих груп (або модулів), що зв’язана з певним математичним об’єктом (наприклад, топологічним простором, групою, алгебричною структурою) і є важливим інваріантом для його вивчення.