The next piece is a summary on generalised homology and cohomology written by me especially for the present work.

It is generally accepted that a functor can be called an ordinary homology or cohomology theory if it satisfies the seven axioms of Eilenberg and Steenrod (see Paper no. 2). These axioms serve to describe the behaviour of the functor on finite complexes. If we want to describe the behaviour of the functor on infinite complexes, we add suitable axioms about limits (see Paper no. 15).

A generalised homology or cohomology theory is a functor which satisfies all of the axioms of Eilenberg and Steenrod except for the dimension axiom. In addition, we may impose suitable axioms about limits. In recent years several such functors have been found useful in algebraic topology. The most important are κ-theory and various sorts of bordism and cobordism theory (see Papers no. 19, 20, 21, 23, 24). Various forms of stable homotopy and cohomotopy also satisfy the axioms, but are hard to calculate.

Obviously the beginning of the subject involves one in setting up various such examples and proving that they satisfy the axioms. This overlaps with topics to be considered below.

The next part of the subject, which is rather formal, consists in exploiting the consequences of the six axioms of Eilenberg and Steenrod which one does assume. For example, one has the Mayer- Vietoris sequence, and one has the spectral sequence of Atiyah and Hirzebruch (see § 12 and Papers no. 14, 19). If one wishes to study also infinite complexes, one exploits the consequences of whatever axiom one has on limits (see §12 and Papers no. 15, 16, 17).