la_35从单纯形的边界映射得到。抽象代数中，同调用于定义导出函子，例如，Tor函子。这里，我们可以从某个可加协变函子formula_36和某个模formula_1开始。formula_1的链复形定义如下：首先找到一个自由模formula_39和一个满同态formula_40。然后找到一个自由模formula_41和一个满同态formula_42。以该方式继续，得到一个自由模formula_43和同态formula_44的序列。将函子formula_36应用于这个序列，得到一个链复形；这个复形的同调fo