Preface This monograph, wThich is aimed at the graduate level and beyond, consists of two parts. In part II we develop the beginnings of a kind of "relative" category theory of what we will call homotopical categories. These are categories with a single distin- guished class of maps (called weak equivalences) containing all the isomorphisms and satisfying one simple two out of six axiom which states that (*) for every three maps r, s and t for which the two compositions sr and ts are defined and are weak equivalences, the four maps r, s, t and tsr are also weak equivalences, which enables one to define "homotopicar versions of such basic categorical no- tions as initial and terminal objects, colimit and limit functors, adjunctions, Kan extensions and universal properties. In part I we use the results of part II to get a better understanding of Quilleir s so useful model categories, which are categories with three distinguished classes of maps (called cofibrations, fibrations and weak equivalences) satisfying a few simple axioms which enable one to "do homotopy theory*'. In particular we show that such model categories are homotopically cocornplete and homotopically complete in a sense which is much stronger than the existence of all small homotopy colimit and limit functors. Both parts are essentially self-contained. A reader of part II is assumed to have some familiarity with the categorical notions mentioned above, wrhile those who read part I (and especially the introductory chapter) should also know something about model categories. In the hope of increasing the local as well as the global readability of this monograph, we not only start each section with some introductory remarks and each chapter with an introductory section, but also each of the two parts with an introductory chapter, with the first chapter of part I serving as motivation for and introduction to the whole monograph and the first chapter of part II summarizing the main results of its other three chapters.
Previous Page Next Page