Eilenberg-Steenrod 1952 axioms. Singular: simplicial-chains on continuous-maps Δ^n → X. H_n(X) functorial homotopy-invariant. Cohomology + cup-product = ring-structure.
Eilenberg-Steenrod 1952 axioms. Singular: simplicial-chains on continuous-maps Δ^n → X. H_n(X) functorial homotopy-invariant. Cohomology + cup-product = ring-structure.