空间的单纯形集合，几何实现不外是将空间「拼回去」；而对源于代数构造的单纯形集，几何实现则能用以构造分类空间。在单纯形集合上可以抽象地开展同伦论的研究。另一方面，若取formula_67为一阿贝尔范畴，对任一单纯形对象formula_33皆可定义一个链复形formula_85。此时单纯形对象与链复形的关系由以下定理阐明：Dold-Kan对应定理（1957年）。函子formula_50给出范畴间的等价透过这个对应，单纯形集合理论可助同调代数一臂之力，例如我们可借此定义更广义的导函子，或得到某类对象的