同调.在同调论中，上同调是对一个在上链复形（co-chain）上定义一个阿贝尔群的序列的过程的统称。换言之，上同调是对“上链”、余圈（cocycle）和上边缘（coboundary）的抽象研究。上同调可以看作是一种对拓扑空间赋予代数不变量的方法，但其代数结构比同调更为精炼。上同调源于同调的构造过程的代数对偶。通俗意义上讲，上链的基本意义是为同调的链赋予某种“量”。
流形.流形是局部上近似于欧几里得空间的拓扑空间。更精确的说，"n"-流形上的每一点都有一个同胚于"n"维欧式空间的邻