David Corfield

Friedmannian account

Case study for my extension of Friedman's Dynamics of Reason.

The origins of cohomology theory are found in topology and algebra at the beginning of the last century but since then it has become a tool of nearly every branch of mathematics. It’s a way of life! Ulrike Tillmann, Cohomology Theories

Cohomology theory has now spread over the whole of mathematics through differential equations, differential operators and so forth. P. Hilton, A Brief, Subjective History of Homology and Homotopy Theory in This Century, Mathematics Magazine, Vol. 61, No. 5 (Dec., 1988), pp. 282-291.

Cohomology Detects Failures of Classical Mathematics

This page will treat cohomology as an example of ‘empirical’ findings becoming principles in a foundational framework in just the kind of way we would expect a revolution in mathematics of significance to mathematical physics to take place. For those wanting to know more about cohomology, here are some intuitions.

Rapid History

  • Rattlebag of homology and cohomology theories, including de Rham cohomology by 1930s.
  • Organised by Eilenberg-Steenrod (1952) by means of the language of category theory, Eilenberg-Mac Lane (1945).
  • Priority given to cohomology over homology (latter a derived notion)
  • Cohomology for groups as well as spaces.
  • Extraordinary or generalized cohomologies found.
  • Weil and cohomology for number theory
  • Hundreds of varieties of cohomology
  • Cohomology organised as π 0H(X,A)\pi_0H(X, A) in (,1)(\infty, 1)-topos by means of higher category theory (duality with homotopy).
  • This higher category theoretic framework and the notion of cohomology as just what is needed to understand and advance current physics

Friedmannian account


  • Constitutive language: algebra and topology
  • Theories: various defined homology and cohomology theories, associating algebraic entities to spaces
  • Observations: some regularities found, e.g., (simpler) spaces give the same results for any theory, homotopy invariance.

By 1952 (work done in 1940s)

  • Constitutive language: category theory
  • Theories: axiomatised (co)homology, Eilenberg-Steenrod axioms, includes some previously observed properties as axioms.
  • Observations: Cech ‘homology’ no longer a homology. (There is a “corrected” theory known under the name strong homology.)

Characteristic classes. After the observation of ‘generalized’ or ‘extraordinary’ cohomologies, satisfying all but dimension axiom, e.g., K-theory:


  • Category theory
  • The Brown representability theorem for generalized (Eilenberg-Steenrod) cohomology: H E q(X)=lim n[S nX;E q+n]H^q_E(X) = lim_n [S^n X; E_{q + n}], for a spectrum E iE_i.
  • Allows many new cohomologies, e.g., various cobordism theories (Thom), relating to all quarters of mathematics.

Flourishing of cohomology theories, including sheaf cohomology. Understanding of generalized cohomology as (fully) abelian cohomology. Rise of nonabelian cohomology. Kenneth Brown, Abstract homotopy theory and generalized sheaf cohomology (1973), establishes that much of cohomology is about Hom sets. Rise of topos theory and then (,1)(\infty, 1)-toposes.

By the 2010s

Eilenberg-Steenrod axioms for homology theories have a modern formulation in terms of ∞-category theory. (4.2.3 of Topo-logie)

Idea of Lurie of function into space, functions out of space, and torsors. If cohomology is Hom space, then is it a question of providing subtle enough coefficient objects?

Formal group laws, universal cohomology theory, differential cohomology.

Last revised on January 15, 2020 at 08:29:13. See the history of this page for a list of all contributions to it.