Axiomele Steenrod-Eilenberg sunt un set de proprietăți de bază ale teoriilor de omologie identificate de Eilenberg și Steenrod .
Această abordare permite să se demonstreze rezultate, cum ar fi secvența Mayer-Vietoris , pentru toate teoriile de omologie simultan.
Fie o succesiune de functori din categoria perechilor de spatii topologice la categoria grupurilor comutative , echipate cu o transformare naturala numita limita . (Iată o abreviere pentru .)