数学中，同调论（）是拓扑空间“圈的同调”之直觉几何想法的公理化研究。它可以宽泛地定义为研究拓扑空间的同调理论。
简单解释.直觉上，同调是取一个等价关系，如果链 "C" - "D" 是一个高一维链的边界，则链 "C" 与 "D" 是同调的。最简单的例子是在图论中，有 "C" 和 "D" 两组顶点集，考虑到从 "P"到 "Q" 的有向边 "E" 的边缘是 "Q"-"P"。从 "D" 到 "C" 的一些边的集合，每一个与前一个相连，是一个同调。一般的，一个 "k"-链视为形式组合