generalized (Eilenberg-Steenrod) cohomology




Special and general types

Special notions


Extra structure



Homotopy theory



The collection of functors from (pointed) topological spaces to abelian groups which assign cohomology groups of ordinary cohomology (e.g. singular cohomology) may be axiomatized by a small set of natural conditions, called the Eilenberg-Steenrod axioms (Eilenberg-Steenrod 52, I.3), see below. One of these conditions, the “dimension axiom” (Eilenberg-Steenrod 52, I.3 Axiom 7) says that the (co)homology groups assigned to the point are concentrated in degree 0. The class of functors obtained by discarding this “dimension axiom” came to be known as generalized (co)homology theories (Whitehead 62) or extraordinary (co)homology theories.

Examples include topological K-theory (Atiyah-Hirzebruch 61, 1.8), elliptic cohomology and cobordism cohomology theory. Dually one speaks of generalized homology.

Notice that, while the terminology “generalized cohomology” is standard in algebraic topology with an eye towards stable homotopy theory, it is somewhat unfortunate in that there are various other and further generalizations of the axioms that all still deserve to be and are called “cohomology”. For instance dropping the suspension axiom leads to nonabelian cohomology and dropping the “homotopy axiom” (and taking the domain spaces to be smooth manifolds) leads to the further generality of differential cohomology. This entry here is concerned with the generalization obtained from the Eilenberg-Steenrod axioms by just discarding the dimension axiom. For lack of a better term, we say “generalized (Eilenberg-Steenrod) cohomology” here.

In (Whitehead 62) it was observed that every spectrum induces a generalized homology theory. The Brown representability theorem (Brown 62) asserts that every generalized (co)homology arises this way, being represented by mapping spectra into/smash product with a spectrum. But beware that the cohomology theory represented by a spectrum in general contains strictly less information than the spectrum, due to the existence of “phantom maps”.

On the other hand, if one refines the concept of a generalized homology theory from taking values in graded abelian groups to taking values in homotopy types then it does become equivalent to the concept of spectrum, this is the statement at excisive functor – Examples – Spectrum objects.

This means that from a perspective of higher category theory, generalized Eilenberg-Steenrod cohomology is the intrinsic cohomology of the (∞,1)-category of spectra, or better: twisted generalized Eilenberg-Steenrod cohomology is the intrinsic cohomology of the tangent (∞,1)-topos of parameterized spectra.

Generalized Eilenberg-Steenrod cohomology is cohomology E(X)=H(X,E)E(X)= H(X,E) with coefficients EE a spectrum object.


This sections states the classical formulation of the Eilenberg-Steenrod axioms due to (Eilenberg-Steenrod 52, I.3) in terms of concepts from classical algebraic topology, such as CW-pairs and mapping cones.

More abstractly, via the classical model structure on topological spaces, these structures are seen to serve as presentations for certain homotopy pushouts. In terms of “abstract homotopy theory” ((infinity,1)-category theory) one obtains a more streamlined formulation, which we turn to below.


There are two versions of the statement of the axioms:

There are functors taking any reduced cohomology theory to an unreduced one, and vice versa. When some fine detail in the axioms is suitably set up, then this establishes an equivalence between reduced and unreduced generalized cohomology:

The fine detail in the axioms that makes this work is such as to ensure that a cohomology theory is a functor on the opposite of the (pointed/pairwise) classical homotopy category. Since this has different presentations, there are corresponding different versions of suitable axioms:

  1. On the one hand, Ho(Top Quillen)Ho(Top_{Quillen}) may be presented by topological spaces homeomorphic to CW-complexes and with homotopy equivalence-classes of continuous functions between them, and accordingly a generalized cohomology theory may be taken to be a funtor on (pointed/pairs of) CW-complexes invariant under homotopy equivalence.

  2. On the other hand, Ho(Top Quillen)Ho(Top_{Quillen}) may be presented by all topological spaces with weak homotopy equivalences inverted, and accordingly a generalized cohomology theory may be taken to be a functor on all (pointed/pairs of) topological spaces that sends weak homotopy equivalences to isomorphisms.

Notice however that “classical homotopy category” is already ambiguous. Pre Quillen this was the category of all topological spaces with homotopy equivalence classes of maps between them, and often generalized cohomology functors are defined on this larger category and only restricted to CW-complexes or required to preserve weak homotopy equivalences when need be (e.g. Switzer 75, p.117), such as for establishing the equivalence between reduced and unreduced theories.

Moreover, historically, these conditions have been decomposed in several numbers of ways. Notably (Eilenberg-Steenrod 52) originally listed 7 axioms for unreduced cohomology, more than typically counted today, but their axioms 1 and 2 jointly just said that we have a functor on topological spaces, axiom 3 was the condition for the connecting homomorphism to be a natural transformation, conditions which later (Switzer 75, p. 99,100) were absorbed in the underlying structure.

Finally, following the historical development it is common to state the exactness properties of cohomology functors in terms of mapping cone constructions. These are models for homotopy cofibers, but in general only when some technical conditions are met, such that the underlying topological spaces are CW-complexes.

For these reasons, in the following we stick to two points of views: where we discuss cohomology theories as functors on topological spaces we restrict attention to those homeomorphic to CW-complexes. In a second description we speak fully abstractly about functors on the homotopy category of a given model category of \infty-category.

Reduced cohomology

Throughout, write Top CW{}_{CW} for the category of topological spaces homeomorphic to CW-complexes. Write Top CW */Top^{\ast/}_{CW} for the corresponding category of pointed topological spaces.

Recall that colimits in Top */Top^{\ast/} are computed as colimits in TopTop after adjoining the base point and its inclusion maps to the given diagram


The coproduct in pointed topological spaces is the wedge sum, denoted iIX i\vee_{i \in I} X_i.


ΣS 1():Top CW */Top CW */ \Sigma \coloneqq S^1 \wedge (-) \;\colon\; Top^{\ast/}_{CW} \longrightarrow Top^{\ast/}_{CW}

for the reduced suspension functor.

Write Ab Ab^{\mathbb{Z}} for the category of integer-graded abelian groups.


A reduced cohomology theory is a functor

E˜ :(Top CW */) opAb \tilde E^\bullet \;\colon\; (Top^{\ast/}_{CW})^{op} \longrightarrow Ab^{\mathbb{Z}}

from the opposite of pointed topological spaces (CW-complexes) to \mathbb{Z}-graded abelian groups (“cohomology groups”), in components

E˜:(XfY)(E˜ (Y)f *E˜ (X)), \tilde E \;\colon\; (X \stackrel{f}{\longrightarrow} Y) \mapsto (\tilde E^\bullet(Y) \stackrel{f^\ast}{\longrightarrow} \tilde E^\bullet(X)) \,,

and equipped with a natural isomorphism of degree +1, to be called the suspension isomorphism, of the form

σ:E˜ +1(Σ)E˜ () \sigma \;\colon\; \tilde E^{\bullet +1}(\Sigma -) \overset{\simeq}{\longrightarrow} \tilde E^\bullet(-)

such that:

  1. (homotopy invariance) If f 1,f 2:XYf_1,f_2 \colon X \longrightarrow Y are two morphisms of pointed topological spaces such that there is a (base point preserving) homotopy f 1f 2f_1 \simeq f_2 between them, then the induced homomorphisms of abelian groups are equal

    f 1 *=f 2 *. f_1^\ast = f_2^\ast \,.
  2. (exactness) For i:AXi \colon A \hookrightarrow X an inclusion of pointed topological spaces, with j:XCone(i)j \colon X \longrightarrow Cone(i) the induced mapping cone, then this gives an exact sequence of graded abelian groups

    E˜ (Cone(i))j *E˜ (X)i *E˜ (A). \tilde E^\bullet(Cone(i)) \overset{j^\ast}{\longrightarrow} \tilde E^\bullet(X) \overset{i^\ast}{\longrightarrow} \tilde E^\bullet(A) \,.

We say E˜ \tilde E^\bullet is additive if in addition

  • (wedge axiom) For {X i} iI\{X_i\}_{i \in I} any set of pointed CW-complexes, then the canonical comparison morphism

    E˜ ( iIX i) iIE˜ (X i) \tilde E^\bullet(\vee_{i \in I} X_i) \longrightarrow \prod_{i \in I} \tilde E^\bullet(X_i)

    is an isomorphism, from the functor applied to their wedge sum, example 1, to the product of its values on the wedge summands, .

We say E˜ \tilde E^\bullet is ordinary if its value on the 0-sphere S 0S^0 is concentrated in degree 0:

  • (Dimension) E˜ 0(𝕊 0)0\tilde E^{\bullet\neq 0}(\mathbb{S}^0) \simeq 0.

A homomorphism of reduced cohomology theories

η:E˜ F˜ \eta \;\colon\; \tilde E^\bullet \longrightarrow \tilde F^\bullet

is a natural transformation between the underlying functors which is compatible with the suspension isomorphisms in that all the following squares commute

E˜ (X) η X F˜ (X) σ E σ F E˜ +1(ΣX) η ΣX F˜ +1(ΣX). \array{ \tilde E^\bullet(X) &\overset{\eta_X}{\longrightarrow}& \tilde F^\bullet(X) \\ {}^{\mathllap{\sigma_E}}\downarrow && \downarrow^{\mathrlap{\sigma_F}} \\ \tilde E^{\bullet + 1}(\Sigma X) &\overset{\eta_{\Sigma X}}{\longrightarrow}& \tilde F^{\bullet + 1}(\Sigma X) } \,.

(e.g. AGP 02, def. 12.1.4)

We may rephrase this more intrinsically and more generally:


Let 𝒞\mathcal{C} be an (∞,1)-category with (∞,1)-pushouts, and with a zero object 0𝒞0 \in \mathcal{C}. Write Σ:𝒞𝒞:X0X0\Sigma \colon \mathcal{C} \to \mathcal{C}\colon X\mapsto 0 \underset{X}{\sqcup} 0 for the corresponding suspension (∞,1)-functor.

A reduced generalized cohomology theory on 𝒞\mathcal{C} is

  1. a functor

    E :Ho(𝒞) opAb E^\bullet \;\colon \; Ho(\mathcal{C})^{op} \longrightarrow Ab^{\mathbb{Z}}

    (from the opposite of the homotopy category of 𝒞\mathcal{C} into \mathbb{Z}-graded abelian groups);

  2. a natural isomorphisms (“suspension isomorphisms”) of degree +1

    σ:H H +1Σ \sigma \; \colon \; H^\bullet \longrightarrow H^{\bullet+1} \circ \Sigma

such that H H^\bullet

  1. takes small coproducts to products;

  2. takes homotopy cofiber sequences to exact sequences.


Given a generalized cohomology theory (H ,σ)(H^\bullet,\sigma) on some 𝒞\mathcal{C} as in def. 2, and given a homotopy cofiber sequence in 𝒞\mathcal{C}

XfYgZcoker(g)ΣX, X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z \stackrel{coker(g)}{\longrightarrow} \Sigma X \,,

then the corresponding connecting homomorphism is the composite

:E (X)σE +1(ΣX)coker(g) *E +1(Z). \partial \;\colon\; E^\bullet(X) \stackrel{\sigma}{\longrightarrow} E^{\bullet+1}(\Sigma X) \stackrel{coker(g)^\ast}{\longrightarrow} E^{\bullet+1}(Z) \,.

The connecting homomorphisms of def. 3 are parts of long exact sequences

E (Z)E (Y)E (X)E +1(Z). \cdots \stackrel{\partial}{\longrightarrow} E^{\bullet}(Z) \longrightarrow E^\bullet(Y) \longrightarrow E^\bullet(X) \stackrel{\partial}{\longrightarrow} E^{\bullet+1}(Z) \to \cdots \,.

By the defining exactness of E E^\bullet, def. 2, and the way this appears in def. 3, using that σ\sigma is by definition an isomorphism.

Unreduced cohomology

In the following a pair (X,A)(X,A) refers to a subspace inclusion of topological spaces (CW-complexes) AXA \hookrightarrow X. Whenever only one space is mentioned, the subspace is assumed to be the empty set (X,)(X, \emptyset). Write Top CW Top_{CW}^{\hookrightarrow} for the category of such pairs (the full subcategory of the arrow category of Top CWTop_{CW} on the inclusions). We identify Top CWTop CW Top_{CW} \hookrightarrow Top_{CW}^{\hookrightarrow} by X(X,)X \mapsto (X,\emptyset).


A cohomology theory (unreduced, relative) is a functor

E :(Top CW ) opAb E^\bullet : (Top_{CW}^{\hookrightarrow})^{op} \to Ab^{\mathbb{Z}}

to the category of \mathbb{Z}-graded abelian groups, as well as a natural transformation of degree +1, to be called the connecting homomorphism, of the form

δ (X,A):E (A,)E +1(X,A). \delta_{(X,A)} \;\colon\; E^\bullet(A, \emptyset) \to E^{\bullet + 1}(X, A) \,.

such that:

  1. (homotopy invariance) For f:(X 1,A 1)(X 2,A 2)f \colon (X_1,A_1) \to (X_2,A_2) a homotopy equivalence of pairs, then

    E (f):E (X 2,A 2)E (X 1,A 1) E^\bullet(f) \;\colon\; E^\bullet(X_2,A_2) \stackrel{\simeq}{\longrightarrow} E^\bullet(X_1,A_1)

    is an isomorphism;

  2. (exactness) For AXA \hookrightarrow X the induced sequence

    E n(X,A)E n(X)E n(A)δE n+1(X,A) \cdots \to E^n(X, A) \longrightarrow E^n(X) \longrightarrow E^n(A) \stackrel{\delta}{\longrightarrow} E^{n+1}(X, A) \to \cdots

    is a long exact sequence of abelian groups.

  3. (excision) For UAXU \hookrightarrow A \hookrightarrow X such that U¯Int(A)\overline{U} \subset Int(A), then the natural inclusion of the pair i:(XU,AU)(X,A)i \colon (X-U, A-U) \hookrightarrow (X, A) induces an isomorphism

    E (i):E n(X,A)E n(XU,AU) E^\bullet(i) \;\colon\; E^n(X, A) \overset{\simeq}{\longrightarrow} E^n(X-U, A-U)

We say E E^\bullet is additive if it takes coproducts to products:

  • (additivity) If (X,A)= i(X i,A i)(X, A) = \coprod_i (X_i, A_i) is a coproduct, then the canonical comparison morphism

    E n(X,A) iE n(X i,A i) E^n(X, A) \overset{\simeq}{\longrightarrow} \prod_i E^n(X_i, A_i)

    is an isomorphism from the value on (X,A)(X,A) to the product of values on the summands.

We say E E^\bullet is ordinary if its value on the point is concentrated in degree 0

  • (Dimension): E 0(*,)=0E^{\bullet \neq 0}(\ast,\emptyset) = 0.

A homomorphism of unreduced cohomology theories

η:E F \eta \;\colon\; E^\bullet \longrightarrow F^\bullet

is a natural transformation of the underlying functors that is compatible with the connecting homomorphisms, hence such that all these squares commute:

E (A,) η (A,) F (A,) δ E δ F E +1(X,A) η (X,A) F +1(X,A). \array{ E^\bullet(A,\emptyset) &\overset{\eta_{(A,\emptyset)}}{\longrightarrow}& F^\bullet(A,\emptyset) \\ {}^{\mathllap{\delta_E}}\downarrow && \downarrow^{\mathrlap{\delta_F}} \\ E^{\bullet +1}(X,A) &\overset{\eta_{(X,A)}}{\longrightarrow}& F^{\bullet +1}(X,A) } \,.

e.g. (AGP 02, def. 12.1.1).


The excision axiom in def. 4 is equivalent to the following statement:

For all A,BXA,B \hookrightarrow X with X=Int(A)Int(B)X = Int(A) \cup Int(B), then the inclusion

i:(A,AB)(X,B) i \colon (A, A \cap B) \longrightarrow (X,B)

induces an isomorphism,

i *:E (X,B)E (A,AB) i^\ast \;\colon\; E^\bullet(X, B) \overset{\simeq}{\longrightarrow} E^\bullet(A, A \cap B)

(e.g Switzer 75, 7.2)


In one direction, suppose that E E^\bullet satisfies the original excision axiom. Given A,BA,B with X=Int(A)Int(B)X = \Int(A) \cup Int(B), set UXAU \coloneqq X-A and observe that

U¯ =XA¯ =XInt(A) Int(B) \begin{aligned} \overline{U} & = \overline{X-A} \\ & = X- Int(A) \\ & \subset Int(B) \end{aligned}

and that

(XU,BU)=(A,AB). (X-U, B-U) = (A, A \cap B) \,.

Hence the excision axiom implies E (X,B)E (A,AB) E^\bullet(X, B) \overset{\simeq}{\longrightarrow} E^\bullet(A, A \cap B).

Conversely, suppose E E^\bullet satisfies the alternative condition. Given UAXU \hookrightarrow A \hookrightarrow X with U¯Int(A)\overline{U} \subset Int(A), observe that we have a cover

Int(XU)Int(A) =(XU¯)Int(A) (XInt(A))Int(A) =X \begin{aligned} Int(X-U) \cup Int(A) & = (X - \overline{U}) \cap \Int(A) \\ & \supset (X - Int(A)) \cap Int(A) \\ & = X \end{aligned}

and that

(XU,(XU)A)=(XU,AU). (X-U, (X-U) \cap A) = (X-U, A - U) \,.


E (XU,AU)E (XU,(XU)A)E (X,A). E^\bullet(X-U,A-U) \simeq E^\bullet(X-U, (X-U)\cap A) \simeq E^\bullet(X,A) \,.

The following lemma shows that the dependence in pairs of spaces in a generalized cohomology theory is really a stand-in for evaluation on homotopy cofibers of inclusions.


Let E E^\bullet be an cohomology theory, def. 4, and let AXA \hookrightarrow X. Then there is an isomorphism

E (X,A)E (XCone(A),*) E^\bullet(X,A) \stackrel{\simeq}{\longrightarrow} E^\bullet(X \cup Cone(A), \ast)

between the value of E E^\bullet on the pair (X,A)(X,A) and its value on the mapping cone of the inclusion, relative to a basepoint.

If moreover AXA \hookrightarrow X is (the retract of) a relative cell complex inclusion, then also the morphism in cohomology induced from the quotient map p:(X,A)(X/A,*)p \;\colon\; (X,A)\longrightarrow (X/A, \ast) is an isomorphism:

E (p):E (X/A,*)E (X,A). E^\bullet(p) \;\colon\; E^\bullet(X/A,\ast) \longrightarrow E^\bullet(X,A) \,.

(e.g AGP 02, corollary 12.1.10)


Consider U(Cone(A)A×{0})Cone(A)U \coloneqq (Cone(A)-A \times \{0\}) \hookrightarrow Cone(A), the cone on AA minus the base AA. We have

(XCone(A)U,Cone(A)U)(X,A) ( X\cup Cone(A)-U, Cone(A)-U) \simeq (X,A)

and hence the first isomorphism in the statement is given by the excision axiom followed by homotopy invariance (along the contraction of the cone to the point).

Next consider the quotient of the mapping cone of the inclusion:

(XCone(A),Cone(A))(X/A,*). ( X\cup Cone(A), Cone(A) ) \longrightarrow (X/A,\ast) \,.

If AXA \hookrightarrow X is a cofibration, then this is a homotopy equivalence since Cone(A)Cone(A) is contractible and since by the dual factorization lemma XCone(A)X/AX \cup Cone(A)\to X/A is a weak homotopy equivalence, hence a homotopy equivalence on CW-complexes.

Hence now we get a composite isomorphism

E (X/A,*)E (XCone(A),Cone(A))E (X,A). E^\bullet(X/A,\ast) \overset{\simeq}{\longrightarrow} E^\bullet( X\cup Cone(A), Cone(A) ) \overset{\simeq}{\longrightarrow} E^\bullet(X,A) \,.

As an important special case of : Let (X,x)(X,x) be a pointed CW-complex. For p:(Cone(X),X)(ΣX,{x})p\colon (Cone(X), X) \to (\Sigma X,\{x\}) the quotient map from the reduced cone on XX to the reduced suspension, then

E (p):E (Cone(X),X)E (ΣX,{x}) E^\bullet(p) \;\colon\; E^\bullet(Cone(X),X) \overset{\simeq}{\longrightarrow} E^\bullet(\Sigma X, \{x\})

is an isomorphism.


(exact sequence of a triple)

For E E^\bullet an unreduced generalized cohomology theory, def. 4, then every inclusion of two consecutive subspaces

ZYX Z \hookrightarrow Y \hookrightarrow X

induces a long exact sequence of cohomology groups of the form

E q1(Y,Z)δ¯E q(X,Y)E q(X,Z)E q(Y,Z) \cdots \to E^{q-1}(Y,Z) \stackrel{\bar \delta}{\longrightarrow} E^q(X,Y) \stackrel{}{\longrightarrow} E^q(X,Z) \stackrel{}{\longrightarrow} E^q(Y,Z) \to \cdots


δ¯:E q1(Y,Z)E q1(Y)δE q(X,Y). \bar \delta \;\colon \; E^{q-1}(Y,Z) \longrightarrow E^{q-1}(Y) \stackrel{\delta}{\longrightarrow} E^{q}(X,Y) \,.

Apply the braid lemma to the interlocking long exact sequences of the three pairs (X,Y)(X,Y), (X,Z)(X,Z), (Y,Z)(Y,Z). See here for details.

The dual braid diagram for generalized homology is this:

(graphics from this Maths.SE comment)


The exact sequence of a triple in prop. 2 is what gives rise to the Cartan-Eilenberg spectral sequence for EE-cohomology of a CW-complex XX.


For (X,x)(X,x) a pointed topological space and Cone(X)=(X(I +))/XCone(X) = (X \wedge (I_+))/X its reduced cone, the long exact sequence of the triple ({x},X,Cone(X))(\{x\}, X, Cone(X)), prop. 2,

0E q(Cone(X),{x})E q(X,{x})δ¯E q+1(Cone(X),X)E q+1(Cone(X),{x})0 0 \simeq E^q(Cone(X), \{x\}) \longrightarrow E^q(X,\{x\}) \overset{\bar \delta}{\longrightarrow} E^{q+1}(Cone(X),X) \longrightarrow E^{q+1}(Cone(X), \{x\}) \simeq 0

exhibits the connecting homomorphism δ¯\bar \delta here as an isomorphism

δ¯:E q(X,{x})E q+1(Cone(X),X). \bar \delta \;\colon\; E^q(X,\{x\}) \overset{\simeq}{\longrightarrow} E^{q+1}(Cone(X),X) \,.

This is the suspension isomorphism extracted from the unreduced cohomology theory, see def. 6 below.


(Mayer-Vietoris sequence)

Given E E^\bullet an unreduced cohomology theory, def. 4. Given a topological space covered by the interior of two spaces as X=Int(A)Int(B)X = Int(A) \cup Int(B), then for each CABC \subset A \cap B there is a long exact sequence of cohomology groups of the form

E n1(AB,C)δ¯E n(X,C)E n(A,C)E n(B,C)E n(AB,C). \cdots \to E^{n-1}(A \cap B , C) \overset{\bar \delta}{\longrightarrow} E^n(X,C) \longrightarrow E^n(A,C) \oplus E^n(B,C) \longrightarrow E^n(A \cap B, C) \to \cdots \,.

e.g. (Switzer 75, theorem 7.19, Aguilar-Gitler-Prieto 02, theorem 12.1.22)

Relation between reduced and unreduced cohomology


(unreduced to reduced cohomology)

Let E E^\bullet be an unreduced cohomology theory, def. 4. Define a reduced cohomology theory, def. 1 (E˜ ,σ)(\tilde E^\bullet, \sigma) as follows.

For x:*Xx \colon \ast \to X a pointed topological space, set

E˜ (X,x)E (X,{x}). \tilde E^\bullet(X,x) \coloneqq E^\bullet(X,\{x\}) \,.

This is clearly functorial. Take the suspension isomorphism to be the composite

σ:E˜ +1(ΣX)=E +1(ΣX,{x})E (p)E +1(Cone(X),X)δ¯ 1E (X,{x})=E˜ (X) \sigma \;\colon\; \tilde E^{\bullet+1}(\Sigma X) = E^{\bullet+1}(\Sigma X, \{x\}) \overset{E^\bullet(p)}{\longrightarrow} E^{\bullet+1}(Cone(X),X) \overset{\bar \delta^{-1}}{\longrightarrow} E^\bullet(X,\{x\}) = \tilde E^{\bullet}(X)

of the isomorphism E (p)E^\bullet(p) from example 2 and the inverse of the isomorphism δ¯\bar \delta from example 3.


The construction in def. 6 indeed gives a reduced cohomology theory.

(e.g. Switzer 75, 7.34)


We need to check the exactness axiom given any AXA\hookrightarrow X. By lemma 1 we have an isomorphism

E˜ (XCone(A))=E (XCone(A),{*})E (X,A). \tilde E^\bullet(X \cup Cone(A)) = E^\bullet(X \cup Cone(A), \{\ast\}) \overset{\simeq}{\longrightarrow} E^\bullet(X,A) \,.

Unwinding the constructions shows that this makes the following diagram commute:

E˜ (XCone(A)) E (X,A) E˜ (X) = E (X,{x}) E˜ (A) = E (A,{a}), \array{ \tilde E^\bullet(X\cup Cone(A)) &\overset{\simeq}{\longrightarrow}& E^\bullet(X,A) \\ \downarrow && \downarrow \\ \tilde E^\bullet(X) &=& E^\bullet(X,\{x\}) \\ \downarrow && \downarrow \\ \tilde E^\bullet(A) &=& E^\bullet(A,\{a\}) } \,,

where the vertical sequence on the right is exact by prop. 2. Hence the left vertical sequence is exact.


(reduced to unreduced cohomology)

Let (E˜ ,σ)(\tilde E^\bullet, \sigma) be a reduced cohomology theory, def. 1. Define an unreduced cohomolog theory E E^\bullet, def. 4, by

E (X,A)E˜ (X +Cone(A +)) E^\bullet(X,A) \coloneqq \tilde E^\bullet( X_+ \cup Cone(A_+))

and let the connecting homomorphism be as in def. 3.


The construction in def. 7 indeed yields an unreduced cohomology theory.

e.g. (Switzer 75, 7.35)


Exactness holds by prop. 1. For excision, it is sufficient to consider the alternative formulation of lemma 5. For CW-inclusions, this follows immediately with lemma 1.


The constructions of def. 7 and def. 6 constitute a pair of functors between then categories of reduced cohomology theories, def. 1 and unreduced cohomology theories, def. 4 which exhbit an equivalence of categories.


(…careful with checking the respect for suspension iso and connecting homomorphism..)

To see that there are natural isomorphisms relating the two composites of these two functors to the identity:

One composite is

E (E˜ :(X,x)E (X,{x})) ((E) :(X,A)E (X +Cone(A +)),*), \begin{aligned} E^\bullet & \mapsto (\tilde E^\bullet \colon (X,x) \mapsto E^\bullet(X,\{x\})) \\ & \mapsto ((E')^\bullet \colon (X,A) \mapsto E^\bullet( X_+ \cup Cone(A_+) ), \ast) \end{aligned} \,,

where on the right we have, from the construction, the reduced mapping cone of the original inclusion AXA \hookrightarrow X with a base point adjoined. That however is isomorphic to the unreduced mapping cone of the original inclusion. With this the natural isomorphism is given by lemma 1.

The other composite is

E˜ (E :(X,A)E˜ (X +Cone(A +))) ((E˜) :XE˜ (X +Cone(* +))) \begin{aligned} \tilde E^\bullet & \mapsto (E^\bullet \colon (X,A) \mapsto \tilde E^\bullet(X_+ \cup Cone(A_+))) \\ & \mapsto ((\tilde E')^\bullet \colon X \mapsto \tilde E^\bullet(X_+ \cup Cone(*_+))) \end{aligned}

where on the right we have the reduced mapping cone of the point inclusion with a point adoined. As before, this is isomorphic to the unreduced mapping cone of the point inclusion. That finally is clearly homotopy equivalent to XX, and so now the natural isomorphism follows with homotopy invariance.

Finally we record the following basic relation between reduced and unreduced cohomology:


Let E E^\bullet be an unreduced cohomology theory, and E˜ \tilde E^\bullet its reduced cohomology theory from def. 6. For (X,*)(X,\ast) a pointed topological space, then there is an identification

E (X)E˜ (X)E (*) E^\bullet(X) \simeq \tilde E^\bullet(X) \oplus E^\bullet(\ast)

of the unreduced cohomology of XX with the direct sum of the reduced cohomology of XX and the unreduced cohomology of the base point.


The pair *X\ast \hookrightarrow X induces the sequence

E 1(*)δE˜ (X)E (X)E (*)δE˜ +1(X) \cdots \to E^{\bullet-1}(\ast) \stackrel{\delta}{\longrightarrow} \tilde E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(\ast) \stackrel{\delta}{\longrightarrow} \tilde E^{\bullet+1}(X) \to \cdots

which by the exactness clause in def. 4 is exact.

Now since the composite *X*\ast \to X \to \ast is the identity, the morphism E (X)E (*)E^\bullet(X) \to E^\bullet(\ast) has a section and so is in particular an epimorphism. Therefore, by exactness, the connecting homomorphism vanishes, δ=0\delta = 0 and we have a short exact sequence

0E˜ (X)E (X)E (*)0 0 \to \tilde E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(\ast) \to 0

with the right map an epimorphism. Hence this is a split exact sequence and the statement follows.

Brown functoriality


Given a generalized cohomology functor E :Ho(𝒞) opAb E^\bullet \colon Ho(\mathcal{C})^{op}\to Ab^{\mathbb{Z}}, def. 2, its underlying Set-valued functors H n:Ho(𝒞) opAbSetH^n \colon Ho(\mathcal{C})^{op}\to Ab\to Set are Brown functors, def. \ref{BrownFunctorOnInfinityCategory}.


The first condition on a Brown functor holds by definition of H H^\bullet. For the second condition, given a homotopy pushout square

X 1 f 1 Y 1 X 2 f 2 Y 2 \array{ X_1 &\stackrel{f_1}{\longrightarrow}& Y_1 \\ \downarrow^{} && \downarrow \\ X_2 &\stackrel{f_2}{\longrightarrow}& Y_2 }

in 𝒞\mathcal{C}, consider the induced morphism of the long exact sequences given by prop. 1

H (coker(f 2)) H (Y 2) f 2 * H (X 2) H +1(Σcoker(f 2)) H (coker(f 1)) H (Y 1) f 1 * H (X 1) H +1(Σcoker(f 1)) \array{ H^\bullet(coker(f_2)) &\longrightarrow& H^\bullet(Y_2) &\stackrel{f^\ast_2}{\longrightarrow}& H^\bullet(X_2) &\stackrel{}{\longrightarrow}& H^{\bullet+1}(\Sigma coker(f_2)) \\ {}^{\mathllap{\simeq}}\downarrow && \downarrow && \downarrow && \downarrow^{\mathrlap{\simeq}} \\ H^\bullet(coker(f_1)) &\longrightarrow& H^\bullet(Y_1) &\stackrel{f^\ast_1}{\longrightarrow}& H^\bullet(X_1) &\stackrel{}{\longrightarrow}& H^{\bullet+1}(\Sigma coker(f_1)) }

Here the outer vertical morphisms are isomorphisms, as shown, due to the pasting law (see also at fiberwise recognition of stable homotopy pushouts).

This means that the four lemma applies to this diagram. Inspection shows that this implies the claim.



Expression by ordinary cohomology via Atiyah-Hirzebruch spectral sequence

The Atiyah-Hirzebruch spectral sequence serves to express generalized cohomology E E^\bullet in terms of ordinary cohomology with coefficients in E (*)E^\bullet(\ast).

Whitehead theorem


Let ϕ:EF\phi \colon E \longrightarrow F be a morphism of reduced generalized (co-)homology functors, def. 1 (a natural transformation) such that its component

ϕ(S 0):E(S 0)F(S 0) \phi(S^0) \colon E(S^0) \longrightarrow F(S^0)

on the 0-sphere is an isomorphism. Then ϕ(X):E(X)F(X)\phi(X)\colon E(X)\to F(X) is an isomorphism for XX any CW-complex with a finite number of cells. If both EE and FF satisfy the wedge axiom, then ϕ(X)\phi(X) is an isomorphism for XX any CW-complex, not necessarily finite.

For EE and FF ordinary cohomology/ordinary homology functors a proof of this is in (Eilenberg-Steenrod 52, section III.10). From this the general statement follows (e.g. Kochman 96, theorem 3.4.3, corollary 4.2.8) via the naturality of the Atiyah-Hirzebruch spectral sequence (the classical result gives that ϕ\phi induces an isomorphism between the second pages of the AHSSs for EE and FF). A complete proof of the general result is also given as (Switzer 75, theorem 7.55, theorem 7.67)

twisted generalized cohomology theory is ∞-categorical semantics of linear homotopy type theory:

linear homotopy type theorygeneralized cohomology theoryquantum theory
linear type(module-)spectrum
multiplicative conjunctionsmash product of spectracomposite system
dependent linear typemodule spectrum bundle
Frobenius reciprocitysix operation yoga in Wirthmüller context
dual type (linear negation)Spanier-Whitehead duality
invertible typetwistprequantum line bundle
dependent sumgeneralized homology spectrumspace of quantum states (“bra”)
dual of dependent sumgeneralized cohomology spectrumspace of quantum states (“ket”)
linear implicationbivariant cohomologyquantum operators
exponential modalityFock space
dependent sum over finite homotopy type (of twist)suspension spectrum (Thom spectrum)
dualizable dependent sum over finite homotopy typeAtiyah duality between Thom spectrum and suspension spectrum
(twisted) self-dual typePoincaré dualityinner product
dependent sum coinciding with dependent productambidexterity, semiadditivity
dependent sum coinciding with dependent product up to invertible typeWirthmüller isomorphism
( ff *)(\sum_f \dashv f^\ast)-counitpushforward in generalized homology
(twisted-)self-duality-induced dagger of this counit(twisted-)Umkehr map/fiber integration
linear polynomial functorcorrespondencespace of trajectories
linear polynomial functor with linear implicationintegral kernel (pure motive)prequantized Lagrangian correspondence/action functional
composite of this linear implication with daggered-counit followed by unitintegral transformmotivic/cohomological path integral
traceEuler characteristicpartition function


The axioms including the dimension axiom are due to

The concept of generalized homology obtained by discarding the dimension axiom and the observation that every spectrum induces an example is due to

  • George Whitehead, Generalized homology theories, Transactions of the American Mathematical Society, 102 (1962) 227-283 (pdf)

The proof that every generalized (co)homology theory arises this way (Brown representability theorem) is due to

  • Edgar Brown, Cohomology theories, Annals of Mathematics, Second Series 75: 467–484 (1962)

  • Edgar Brown, Abstract homotopy theory, Trans. AMS 119 no. 1 (1965)

An early lecture note account is in

Textbook accounts include

A pedagogical introduction to spectra and generalized (Eilenberg-Steenrod) cohomology is in

Formulation in (infinity,1)-category theory is in

More references relating to the nPOV on cohomology include:

Revised on May 11, 2016 16:00:48 by Urs Schreiber (