The main purpose of the present work is to present to the reader a particularly nice category for the study of homotopy, namely the homo- topic category (IV). It is also equivalent (I, 1.3) to a category of fractions of the category of topological spaces modulo homotopy, and to the category of Kan complexes modulo homotopy (IV).