阿贝尔群
单纯阿贝尔群的同伦群可由给出，它诱导了单纯阿贝尔群与有界链复形两个范畴之间的等价，这个等价关系由函子：