Jabarkan Kohomologi dari Topologi aljabar

Kohomologi lahir sebagai konsep dual kategoris dari homologi. Jika homologi meninjau rantai kompleks, pada kohomologi ditinjau korantai kompleks.

Teori kategori lahir sebagai alat untuk bekerja dengan topologi aljabar. Oleh karena itu, ide-ide dalam topologi aljabar secara umum bersifat fungtorial. Sebagai contoh, homologi dapat dipandang sebagai fungtor dari kategori hTop (yakni kategori ruang topologi dengan morfisma kelas homotopis dari pemetaan kontinu) ke kategori Grp (yakni kategori grup). Hal ini memberikan asosiasi antara konsep-konsep di topologi dengan konsep-konsep di aljabar.