ALGEBRAIC HOMOTOPY THEORY

Abstract

This chapter describes algebraic homotopy theory. In homotopy theory, spaces are classified in terms of homotopy classes of maps, rather than individual maps of one space in another. Thus, using the word category in the sense of S. Eilenberg and Saunders MacLane, a homotopy category of spaces is one in which the objects are topological spaces and the mappings are not individual maps but homotopy classes of ordinary maps. The equivalences are the classes with two-sided inverses, and two spaces are of the same homotopy type if they are related by such an equivalence. The ultimate object of algebraic homotopy is to construct a purely algebraic theory, which is equivalent to homotopy theory in the same sort of way that analytic is equivalent to pure projective geometry.