A model category is a category k together with three distingxtished classes of morphisms in k. This is a book in pure mathematics dealing with homotopy theory, one of the main branches of algebraic topology. An hccategory 1 is a category with two additional items of structure. A dual theory is developed for homotopy limits in abc fibration categories and for right heller. This definition is dual to that of a fibration, which is required to satisfy the homotopy lifting property with respect to all spaces. Cellular categories are abundant in homotopy theory because any quillen model category carries two weak factorization systems, i. A dual theory is developed for homotopy limits in abc fibration categories. Lifting define a map to be a trivial cofibration if it is both a cofibration and a weak equivalence. Let fu gbe either an open cover or a nite closed cover of x. This note contains comments to chapter 0 in allan hatchers book 5.

Similarly, cofibrations defined dually can be the cofibrant objects. The homotopy theory for the category of simplicial presheaves and each of its localizations can be modelled by apresheaves in the sense that there is a corresponding model structure for a. The abstract homotopy theory is based on the observation that analogues of much of the topological homotopy theory and simple homotopy theory exist in many other categories e. By definition a model category is just an ordinary category with three specified classes of morphisms, called fibrations, cofibrations and weak equivalences, which. Similarly, define a map to be a trivial fibration if it. These constructions provide a natural framework for doing homotopy theory in abc cofibration categories. In mathematics, in particular homotopy theory, a continuous mapping. Abstract homotopy theory university of san diego home pages. They have many applications in homotopy theory and are necessary for the proofs in section 6.

We define andersonbrowncisinski abc cofibration categories, and construct homotopy colimits of diagrams of objects in abc cofibration categories. A brief introduction to homotopy theory hedayatzadeh. Purchase lectures on homotopy theory, volume 171 1st edition. Cubical homotopy theory university of rochester mathematics. The homotopy cat egory is a homotopy by ane so category in 4 quillen defines the concept of a category omodels or a homotopy theory a model category for short.

A category with homotopy theory should have notions of fibration and. Y between topological spaces is continuous if and only if the restrictions fj. Since then, the pace of development and publication has only quickened, a thorough history of stable homotopy theory would be a book by itself. In generality, homotopy theory is the study of mathematical contexts in which functions or rather homomorphisms are equipped with a concept of homotopy between them, hence with a concept of equivalent deformations of morphisms, and then iteratively with homotopies of homotopies between those, and so forth. Lectures on homotopy theory, volume 171 1st edition. Exact sequences of homotopy sets, actions, and coactions. We attach to each abc cofibration category a left heller derivator. That section contains the statement and proof of many of the major theorems of classical homotopy. A basic problem in homotopy theory is the calculation of the homotopy groups of spheres. Homotopy theory of cofibration categories introduction. Homotopy colimits for quillen model categories are obtained as a particular case.

1195 1434 961 1126 1382 821 961 1055 1108 1551 427 715 902 61 1460 427 1146 1050 149 1114 608 1476 26 647 1195 7 1477 126 524 1217 1423 1110 1088 263 951 1103 1153 1082 1132 444 391