Thanks to Lefschetz and others, the
cup product structure of
cohomology was understood by the early 1940s. Steenrod was able to define operations from one cohomology group to another (the so-called
Steenrod squares) that generalized the cup product. The additional structure made cohomology a finer invariant. The Steenrod cohomology operations form a (non-commutative) algebra under composition, known as the
Steenrod algebra. His book
The Topology of Fibre Bundles is a standard reference. In collaboration with
Samuel Eilenberg, he was a founder of the axiomatic approach to
homology theory. See
Eilenberg–Steenrod axioms. ==See also==