数学、とくに代数的位相幾何学や抽象代数学において、ホモロジー(homology)（「同一である」ことを意味するギリシャ語のホモス(ὁμός)に由来）は与えられた数学的対象、例えば位相空間や群に、アーベル群や加群の列を対応させる一つの一般的な手続きをいう。
数学上（特别是代数拓扑和抽象代数），同调（homology，在希腊语中homos=同）是一类将一个可换群或者模的序列和特定数学对象（例如拓扑空间或者群）联系起来的过程。