同调.在代数拓扑和抽象代数中，同调（homology，名称部分来源于希腊语ὁμός "homos" = "同"）是一类将一个阿贝尔群或模的序列联系到一个给定数学对象（如拓扑空间、群等）的过程
上同调.在同调论中，上同调是对一个在上链复形（co-chain）上定义一个阿贝尔群的序列的过程的统称。换言之，上同调是对“上链”、余圈（cocycle）和上边缘（coboundary）的抽象研究。上同调可以看作是一种对拓扑空间赋予代数不变量的方法，但其代数结构比同调更为