合艾
同調論可以定義為符合艾倫伯格－斯廷羅德公理的函子列。這個公理化方法在1945年建立，可以用來證明只要符合公理的同調論都會有的共同結果，例如。