A simplification of the Eilenberg-Steenrod axioms. II (Q1295545)

Since the famous book of Eilenberg--Steenrod (1952) it is well known that a homology theory on the category of pairs of finite triangulable spaces and continuous maps is determined by four simple axioms. In [ibid. 53, No. 3, 257-265 (1988; Zbl 0659.55004)] \textit{R. J. MacG. Dawson} showed that in the much smaller category of pairs of finite simplicial maps one can replace this system of axioms by a simpler one, i.e., by replacing the dimension axiom and omitting the homotopy axiom. In his paper the author shows by using some ideas of Dawson that it is also possible to do the same on the bigger category which was dealt with by Eilenberg and Steenrod (i.e. the category of pairs of polyhedrons). The second theorem shows that the homotopy axiom is nearly redundant.