艾伦伯格-斯廷罗德公理）揭示了同调理论的不同候选通常是，粗糙地讲，某些正合序列特别是迈耶-菲托里斯序列，以及算出了一个点的同调的维数公理。在拓扑K-理论与配边理论中导出的（上）同调，在同伦论中成为标准的推广到异常（上）同调论，中维数公里减弱了。他们对CW复形范畴容易刻画。
同调论现状.对更一般（即不那么良态）的空间，借助于从层论中的想法得到同调论的许多推广，特别是局部紧空间的博雷尔-穆尔同调。同调论的基本链复形转置很久以前就成为了同调代数中独立的一种技巧，并独立地应用于例如群