数学上(特别是代数拓扑搭抽象代数),同调(homology,拉希腊语中homos = 同)是一类拿一个可换群或者模个序列搭特定数学对象(例如拓扑空间或者群)联系起来个过程。