定义formula_1的上同调的链复形中的空间为formula_25为自由可换群（或者自由模），其生成元为所有从"n"为单纯形到formula_1的连续函数。同态formula_35从单纯形的边界映射得到。抽象代数中，同调用于定义导出函子，例如，Tor函子。这里，我们可以从某个可加协变函子formula_36和某个模formula_1开始。formula_1的链复形定义如下：首先找到一个自由模formula_39和一个满同态formula_40。然后找到一个自由模formula_41和一个满同态form