艾倫伯格－斯廷羅德公理

在數學的代數拓撲學中 ， 艾倫伯格 － 斯廷羅德公理  是拓撲空間的同調論的共有性質 。 符合這套公理的同調論的典型例子 ， 是由塞繆爾 · 艾倫伯格和諾曼 · 斯廷羅德建立的 。 同調論可以定義爲符合艾倫伯格 － 斯廷羅德公理的函子列 。 這個公理化方法在1945年建立 ， 可以用來證明只要符合公理的同調論都會有的共同結果 ， 例如 。 如果省略了其中的維數公理 ， 那麼其餘的公理所定義的是 。 最早出現的廣義同調論是K - 理論和 。