A contravariant assignment (usually a functor) from a category of spaces (topological, differentiable, or algebraic) to graded abelian groups, modules, or rings that captures global obstruction classes and supports natural product structures and long exact sequences.

Principle

Organize global topological or algebraic obstructions into functorial graded algebraic invariants with multiplicative structure and exact sequences that encode local-to-global relations.

Demonstration

Singular cohomology H^*(X; R) assigns to a topological space X a graded R-module H^n(X; R), admits a cup product H^p(X; R) × H^q(X; R) → H^{p+q}(X; R) and yields Mayer–Vietoris long exact sequences computing cohomology from an open cover.

Misapplication

Treating cohomology groups as purely local invariants or assuming naive limits/colimits commute (for instance, assuming cohomology of an infinite colimit equals the colimit of cohomologies) without taking derived functors or appropriate hypotheses.

Consequence

When correctly applied, cohomology theories detect obstructions to the existence of sections, classify bundles and extensions, produce characteristic classes, and participate in dualities such as Poincaré duality under suitable hypotheses.

Reversal

Homology theory: a covariant assignment that measures cycles and boundaries rather than cocycles and cochains; many formal properties are dual but variance and algebraic structures differ.

Boundary

Does not include arbitrary contravariant graded assignments lacking functoriality, natural products, or exact sequence formalism; generalized cohomology theories (spectra-based) extend but alter some classical expectations.

Semantic Tension

Versus homology: both probe topology but differ in variance (contra- vs covariant), algebraic operations (cup products vs intersection products), and typical interpretations (obstructions and classes vs cycles and bordism).

Synthesis

A cohomology theory packages global obstruction data as functorial graded algebraic structures with multiplicative operations and long exact sequences, providing a bridge from local calculations to global invariants.