喺同調代數、代數拓樸或者幾何學入邊，上同調係一序列嘅阿貝爾羣或者係模，好多時係畀一個空間，可以整一個鏈複形出嚟，再由個鏈複形整個上同調出嚟，例如derham上同調、羣上同調咁。一般嚟講上同調比同調有更多嘅結構，所以係一個勁啲嘅不變量。