This paper is devoted to an exposition of cohomology theories on categories of spaces where the cohomology theories satisfy the type of axiom system considered in [1, 12, 16, 17, 18]. The categories considered are Ccomp, the category of all compact Haudorff spaces and continuous functions between them, and Cloc comp, the category of all locally compact Hausdorff spaces and proper continuous functions between them. The fundamental uniqueness theorem for cohomology theories on a finite dimensional...