Multiplicative generalized cohomology theory ($h^p(X)\otimes h^q(X)⟶h^{p+q}(X)$)

A generalized cohomology theory with natural unital cup products compatible with relative groups, suspension, and the cohomology axioms. Its coefficient groups form a graded ring. Thom orientations make the cohomology of a bundle's Thom space a shifted module over the cohomology of the base.

// Target: geometry-and-topology.bigb