DOCSLIB.ORG

Homotopy Limit Functors on Model Categories and Homotopical Categories

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Homotopy Limit Functors on Model Categories and Homotopical Categories http://dx.doi.org/10.1090/surv/113 Mathematical Surveys and Monographs Volume 113 Homotopy Limit Functors on Model Categories and Homotopical Categories William G. Dwyer Philip S. Hirschhorn Daniel M. Kan Jeffrey H. Smith •\vvEM47y American Mathematical Society EDITORIAL COMMITTEE Jerry L. Bona Peter S. Landweber, Chair Michael G. Eastwood Michael P. Loss J. T. Stafford 2000 Mathematics Subject Classification. Primary 18A99, 18D99, 18G55, 55U35. For additional information and updates on this book, visit www.ams.org/bookpages/surv-113 Library of Congress Cataloging-in-Publication Data Homotopy limit functors on model categories and homotopical categories / William G. Dwyer ... [et al.]. p. cm. — (Mathematical surveys and monographs, ISSN 0076-5376; v. 113) Includes bibliographical references and index. ISBN 0-8218-3703-6 (alk. paper) 1. Homotopy theory. I. Dwyer, William G., 1947- II. Series. QA612.7.H635 2004 514'.24—dc22 2004059481 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. © 2004 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. @ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10 9 8 7 6 5 4 3 2 09 08 07 06 05 To Sammy Eilenberg Dan Quillen Pete Bousfield Contents Preface vii Part I. Model Categories 1 Chapter I. An Overview 3 1. Introduction 3 2. Slightly unconventional terminology 3 3. Problems involving the homotopy category 5 4. Problem involving the homotopy colimit functors 8 5. The emergence of the current monograph 11 6. A preview of part II 12 Chapter II. Model Categories and Their Homotopy Categories 19 7. Introduction 19 8. Categorical and homotopical preliminaries 22 9. Model categories 25 10. The homotopy category 29 11. Homotopical comments 32 Chapter III. Quillen Functors 35 12. Introduction 35 13. Homotopical uniqueness 38 14. Quillen functors 40 15. Approximations 42 16. Derived adjunctions 44 17. Quillen equivalences 48 18. Homotopical comments 51 Chapter IV. Homotopical Cocompleteness and Completeness of Model Categories 55 19. Introduction 55 20. Homotopy colimit and limit functors 59 21. Homotopical cocompleteness and completeness 62 22. Reedy model categories 65 23. Virtually coflbrant and fibrant diagrams 69 24. Homotopical comments 72 Part II. Homotopical Categories 75 Chapter V. Summary of Part II 77 25. Introduction 77 vi CONTENTS 26. Homotopical categories 78 27. The hom-sets of the homotopy categories 80 28. Homotopical uniqueness 82 29. Deformable functors 83 30. Homotopy colimit and limit functors and homotopical ones 85 Chapter VI. Homotopical Categories and Homotopical Functors 89 31. Introduction 89 32. Universes and categories 93 33. Homotopical categories 96 34. A colimit description of the hom-sets of the homotopy category 101 35. A Grothendieck construction 103 36. 3-arrow calculi 107 37. Homotopical uniqueness 112 38. Homotopically initial and terminal objects 115 Chapter VII. Deformable Functors and Their Approximations 119 39. Introduction 119 40. Deformable functors 123 41. Approximations 126 42. Compositions 130 43. Induced partial adjunctions 133 44. Derived adjunctions 138 45. The Quillen condition 143 Chapter VIII. Homotopy Colimit and Limit Functors and Homotopical Ones 147 46. Introduction 147 47. Homotopy colimit and limit functors 148 48. Left and right systems 152 49. Homotopical cocompleteness and completeness (special case) 159 50. Homotopical colimit and limit functors 161 51. Homotopical cocompleteness and completeness (general case) 166 Index 171 Bibliography 181 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. Index Page numbers in bold point to the definitions of the indexed terms. adjunctions, 122-123 axiom compatibility with (co)limit functors, 57, factorization, 4, 19, 26 151 lifting, 26 counits of, 122, 122-123, 135-138 limit, 3, 19, 25 deformable, 14-15, 37, 51, 51-54, 119- retract, 19-20, 26 122, 133 two out of six, 26 derived adjunctions of, 8, 14, 36-37, 46, two out of three, 19-20 53, 44-54, 121, 139, 138-143, see also derived adjunctions canonical natural isomorphisms, 45 partial, 44, 53, 133, 133-138 canonical natural transformations, 139, 139- 142 Quillen, 40, see also Quillen adjunctions canonically isomorphic objects, 10, 38, 82, units of, 122, 122-123, 135-138 92, 112, see also categorical uniqueness adjunctions of systems, 157 canonically weakly equivalent objects, 10, and dinatural transformations, 167 39, 83, 92, 114, see also homotopical and Kan extensions along systems, 169 uniqueness categorical uniqueness, 157 CAT, 95, 97-99 counits of, 157 cat, 95 deformable, 157 CAT , 97, 97-99 derived adjunctions of, 158 W cat-systems, see also systems locally deformable, 157 left, 62, 62-65, 73 sufficient conditions for existence, 157 right, 62, 62-65, 73 units of, 157 categorical uniqueness, 38, 38-39, 92-93, 112, all or none proposition for compositions, 131 112-114 alternate description of homotopy categories, of adjoints of systems, 157 100 of colimit systems, 160 approximations, 13, 35-37, 42-44, 51, 84, of initial objects, 38, 92, 113 120-122, 127, 126-130 of limit systems, 160 and total derived functors, 128 of terminal objects, 38, 92, 113 compositions of, 44, 120-121, 130-133 categorically homotopical uniqueness of, 42, 51, 127 contractible categories, 10, 38, 82, 92, 113 of deformable functors, 51, 127 full subcategories, 38, 82, 92, 112 of homotopical functors, 128 unique objects, 10, 38, 82, 92, 112, see of Kan extensions also categorical uniqueness and homotopical Kan extensions, 163 categories, 4, 23, 22-23, 78-79, 89-90, 95, of natural transformations, 129, 129-130 95 of Quillen functors, 42 arrow, 101, 101-112 sufficient conditions for composability, 52 categorically contractible, 10, 38, 82, 92, sufficient conditions for existence, 51, 127 113 approximations of systems, 154 closed model, 3-4, 19, 27-28 homotopical uniqueness of, 154 cocomplete, 25, 58, 58, 159, see also co- sufficient conditions for existence, 155 completeness arrow categories, 101, 101-112 complete, 25, 58, 58, 159, see also com­ T-diagrams of, 102 pleteness 171 172 INDEX connected components of, 102 of Grothendieck constructions, 105 diagram, 22, 24, 97 of homotopy categories, 81, 102 functor, 22, 24, 97 colimit functors, 57, 57-58, 85, 148 homotopical, 11-12, 23, 20-25, 77, 79-80, compatibility with left adjoints, 57, 151 90-91, 96, 96-101 deformability result for, 56, 61 homotopically cocomplete, 16-17, 73, 160, homotopical, 15-17, 85-87, 165-166, see 169, see also homotopical cocomplete- also homotopical colimit functors ness homotopy, 8-11, 15-17, 55-56, 59, 59-62, homotopically complete, 16-17, 73, 160, 72, 85-87, 148-152, see also homotopy 169, see also homotopical
Load more

Recommended publications
  • Op → Sset in Simplicial Sets, Or Equivalently a Functor X : ∆Op × ∆Op → Set
    Contents 21 Bisimplicial sets 1 22 Homotopy colimits and limits (revisited) 10 23 Applications, Quillen’s Theorem B 23 21 Bisimplicial sets A bisimplicial set X is a simplicial object X : Dop ! sSet in simplicial sets, or equivalently a functor X : Dop × Dop ! Set: I write Xm;n = X(m;n) for the set of bisimplices in bidgree (m;n) and Xm = Xm;∗ for the vertical simplicial set in horiz. degree m. Morphisms X ! Y of bisimplicial sets are natural transformations. s2Set is the category of bisimplicial sets. Examples: 1) Dp;q is the contravariant representable functor Dp;q = hom( ;(p;q)) 1 on D × D. p;q G q Dm = D : m!p p;q The maps D ! X classify bisimplices in Xp;q. The bisimplex category (D × D)=X has the bisim- plices of X as objects, with morphisms the inci- dence relations Dp;q ' 7 X Dr;s 2) Suppose K and L are simplicial sets. The bisimplicial set Kט L has bisimplices (Kט L)p;q = Kp × Lq: The object Kט L is the external product of K and L. There is a natural isomorphism Dp;q =∼ Dpט Dq: 3) Suppose I is a small category and that X : I ! sSet is an I-diagram in simplicial sets. Recall (Lecture 04) that there is a bisimplicial set −−−!holim IX (“the” homotopy colimit) with vertical sim- 2 plicial sets G X(i0) i0→···→in in horizontal degrees n. The transformation X ! ∗ induces a bisimplicial set map G G p : X(i0) ! ∗ = BIn; i0→···→in i0→···→in where the set BIn has been identified with the dis- crete simplicial set K(BIn;0) in each horizontal de- gree.
    [Show full text]
  • Appendices Appendix HL: Homotopy Colimits and Fibrations We Give Here
    Appendices Appendix HL: Homotopy colimits and fibrations We give here a briefreview of homotopy colimits and, more importantly, we list some of their crucial properties relating them to fibrations. These properties came to light after the appearance of [B-K]. The most important additional properties relate to the interaction between fibration and homotopy colimit and were first stated clearly by V. Puppe [Pu] in a paper dealing with Segal's characterization of loop spaces. In fact, much of what we need follows formally from the basic results of V. Puppe by induction on skeletons. Another issue we survey is the definition of homotopy colimits via free resolutions. The basic definition of homotopy colimits is given in [B-K] and [S], where the property of homotopy invariance and their associated mapping property is given; here however we mostly use a different approach. This different approach from a 'homotopical algebra' point of view is given in [DF-1] where an 'invariant' definition is given. We briefly recall that second (equivalent) definition via free resolution below. Compare also the brief review in the first three sections of [Dw-1]. Recently, two extensive expositions combining and relating these two approaches appeared: a shorter one by Chacholsky and a more detailed one by Hirschhorn. Basic property, examples Homotopy colimits in general are functors that assign a space to a strictly commutative diagram of spaces. One starts with an arbitrary diagram, namely a functor I ---+ (Spaces) where I is a small category that might be enriched over simplicial sets or topological spaces, namely in a simplicial category the morphism sets are equipped with the structure of a simplicial set and composition respects this structure.
    [Show full text]
  • Homotopy Colimits in Model Categories
    Homotopy colimits in model categories Marc Stephan July 13, 2009 1 Introduction In [1], Dwyer and Spalinski construct the so-called homotopy pushout func- tor, motivated by the following observation. In the category Top of topo- logical spaces, one can construct the n-dimensional sphere Sn by glueing together two n-disks Dn along their boundaries Sn−1, i.e. by the pushout of i i Dn o Sn−1 / Dn ; where i denotes the inclusion. Let ∗ be the one point space. Observe, that one has a commutative diagram i i Dn o Sn−1 / Dn ; idSn−1 ∗ o Sn−1 / ∗ where all vertical maps are homotopy equivalences, but the pushout of the bottom row is the one-point space ∗ and therefore not homotopy equivalent to Sn. One probably prefers the homotopy type of Sn. Having this idea of calculating the prefered homotopy type in mind, they equip the functor category CD, where C is a model category and D = a b ! c the category consisting out of three objects a, b, c and two non-identity morphisms as indicated, with a suitable model category structure. This enables them to construct out of the pushout functor colim : CD ! C its so-called total left derived functor Lcolim : Ho(CD) ! Ho(C) between the corresponding homotopy categories, which defines the homotopy pushout functor. Dwyer and Spalinski further indicate how to generalize this construction to define the so-called homotopy colimit functor as the total left derived functor for the colimit functor colim : CD ! C in the case, where D is a so-called very small category.
    [Show full text]
  • Exercises on Homotopy Colimits
    EXERCISES ON HOMOTOPY COLIMITS SAMUEL BARUCH ISAACSON 1. Categorical homotopy theory Let Cat denote the category of small categories and S the category Fun(∆op, Set) of simplicial sets. Let’s recall some useful notation. We write [n] for the poset [n] = {0 < 1 < . < n}. We may regard [n] as a category with objects 0, 1, . , n and a unique morphism a → b iff a ≤ b. The category ∆ of ordered nonempty finite sets can then be realized as the full subcategory of Cat with objects [n], n ≥ 0. The nerve of a category C is the simplicial set N C with n-simplices the functors [n] → C . Write ∆[n] for the representable functor ∆(−, [n]). Since ∆[0] is the terminal simplicial set, we’ll sometimes write it as ∗. Exercise 1.1. Show that the nerve functor N : Cat → S is fully faithful. Exercise 1.2. Show that the natural map N(C × D) → N C × N D is an isomorphism. (Here, × denotes the categorical product in Cat and S, respectively.) Exercise 1.3. Suppose C and D are small categories. (1) Show that a natural transformation H between functors F, G : C → D is the same as a functor H filling in the diagram C NNN NNN F id ×d1 NNN NNN H NN C × [1] '/ D O pp7 ppp id ×d0 ppp ppp G ppp C (2) Suppose that F and G are functors C → D and that H : F → G is a natural transformation. Show that N F and N G induce homotopic maps N C → N D. Exercise 1.4.
    [Show full text]
  • Derivators: Doing Homotopy Theory with 2-Category Theory
    DERIVATORS: DOING HOMOTOPY THEORY WITH 2-CATEGORY THEORY MIKE SHULMAN (Notes for talks given at the Workshop on Applications of Category Theory held at Macquarie University, Sydney, from 2{5 July 2013.) Overview: 1. From 2-category theory to derivators. The goal here is to motivate the defini- tion of derivators starting from 2-category theory and homotopy theory. Some homotopy theory will have to be swept under the rug in terms of constructing examples; the goal is for the definition to seem natural, or at least not unnatural. 2. The calculus of homotopy Kan extensions. The basic tools we use to work with limits and colimits in derivators. I'm hoping to get through this by the end of the morning, but we'll see. 3. Applications: why homotopy limits can be better than ordinary ones. Stable derivators and descent. References: • http://ncatlab.org/nlab/show/derivator | has lots of links, including to the original work of Grothendieck, Heller, and Franke. • http://arxiv.org/abs/1112.3840 (Moritz Groth) and http://arxiv.org/ abs/1306.2072 (Moritz Groth, Kate Ponto, and Mike Shulman) | these more or less match the approach I will take. 1. Homotopy theory and homotopy categories One of the characteristics of homotopy theory is that we are interested in cate- gories where we consider objects to be \the same" even if they are not isomorphic. Usually this notion of sameness is generated by some non-isomorphisms that exhibit their domain and codomain as \the same". For example: (i) Topological spaces and homotopy equivalences (ii) Topological spaces and weak homotopy equivalence (iii) Chain complexes and chain homotopy equivalences (iv) Chain complexes and quasi-isomorphisms (v) Categories and equivalence functors Generally, we call morphisms like this weak equivalences.
    [Show full text]
  • Double Homotopy (Co) Limits for Relative Categories
    Double Homotopy (Co)Limits for Relative Categories Kay Werndli Abstract. We answer the question to what extent homotopy (co)limits in categories with weak equivalences allow for a Fubini-type interchange law. The main obstacle is that we do not assume our categories with weak equivalences to come equipped with a calculus for homotopy (co)limits, such as a derivator. 0. Introduction In modern, categorical homotopy theory, there are a few different frameworks that formalise what exactly a “homotopy theory” should be. Maybe the two most widely used ones nowadays are Quillen’s model categories (see e.g. [8] or [13]) and (∞, 1)-categories. The latter again comes in different guises, the most popular one being quasicategories (see e.g. [16] or [17]), originally due to Boardmann and Vogt [3]. Both of these contexts provide enough structure to perform homotopy invariant analogues of the usual categorical limit and colimit constructions and more generally Kan extensions. An even more stripped-down notion of a “homotopy theory” (that arguably lies at the heart of model categories) is given by just working with categories that come equipped with a class of weak equivalences. These are sometimes called relative categories [2], though depending on the context, this might imply some restrictions on the class of weak equivalences. Even in this context, we can still say what a homotopy (co)limit is and do have tools to construct them, such as model approximations due to Chach´olski and Scherer [5] or more generally, left and right arXiv:1711.01995v1 [math.AT] 6 Nov 2017 deformation retracts as introduced in [9] and generalised in section 3 below.
    [Show full text]
  • Homotopical Algebra and Homotopy Colimits
    Homotopical algebra and homotopy colimits Birgit Richter New interactions between homotopical algebra and quantum field theory Oberwolfach, 19th of December 2016 Homotopical algebra { What for? Often, we are interested in (co)homology groups. 2 1 H (X ; Z) = [X ; CP ] = [X ; BU(1)] classifies line bundles on a space X . Many geometric invariants of a manifold M can be understood via its de Rham cohomology groups. In order to calculate or understand such (co)homology groups, we often have to perform constructions on the level of (co)chain complexes: quotients, direct sums,... For these constructions one needs models. Homotopical algebra: Study of homological/homotopical questions via model categories. Definition given by Quillen in 1967 [Q]. Flexible framework, can be used for chain complexes, topological spaces, algebras over operads, and many more { allows us to do homotopy theory. Chain complexes, I Let R be an associative ring and let ChR denote the category of non-negatively graded chain complexes of R-modules. The objects are families of R-modules Cn; n ≥ 0, together with R-linear maps, the differentials, d = dn : Cn ! Cn−1 for all n ≥ 1 such that dn−1 ◦ dn = 0 for all n. Morphisms are chain maps f∗ : C∗ ! D∗. These are families of R-linear maps fn : Cn ! Dn such that dn ◦ fn = fn−1 ◦ dn for all n. The nth homology group of a chain complex C∗ is Hn(C∗) = ker(dn : Cn ! Cn−1)=im(dn+1 : Cn+1 ! Cn): ker(dn : Cn ! Cn−1) are the n-cycles of C∗, ZnC∗, and im(dn+1 : Cn+1 ! Cn) are the n-boundaries of C∗, BnC∗.
    [Show full text]
  • Lecture Notes on Simplicial Homotopy Theory
    Lectures on Homotopy Theory The links below are to pdf files, which comprise my lecture notes for a first course on Homotopy Theory. I last gave this course at the University of Western Ontario during the Winter term of 2018. The course material is widely applicable, in fields including Topology, Geometry, Number Theory, Mathematical Pysics, and some forms of data analysis. This collection of files is the basic source material for the course, and this page is an outline of the course contents. In practice, some of this is elective - I usually don't get much beyond proving the Hurewicz Theorem in classroom lectures. Also, despite the titles, each of the files covers much more material than one can usually present in a single lecture. More detail on topics covered here can be found in the Goerss-Jardine book Simplicial Homotopy Theory, which appears in the References. It would be quite helpful for a student to have a background in basic Algebraic Topology and/or Homological Algebra prior to working through this course. J.F. Jardine Office: Middlesex College 118 Phone: 519-661-2111 x86512 E-mail: [email protected] Homotopy theories Lecture 01: Homological algebra Section 1: Chain complexes Section 2: Ordinary chain complexes Section 3: Closed model categories Lecture 02: Spaces Section 4: Spaces and homotopy groups Section 5: Serre fibrations and a model structure for spaces Lecture 03: Homotopical algebra Section 6: Example: Chain homotopy Section 7: Homotopical algebra Section 8: The homotopy category Lecture 04: Simplicial sets Section 9:
    [Show full text]
  • A Primer on Homotopy Colimits
    A PRIMER ON HOMOTOPY COLIMITS DANIEL DUGGER Contents 1. Introduction2 Part 1. Getting started 4 2. First examples4 3. Simplicial spaces9 4. Construction of homotopy colimits 16 5. Homotopy limits and some useful adjunctions 21 6. Changing the indexing category 25 7. A few examples 29 Part 2. A closer look 30 8. Brief review of model categories 31 9. The derived functor perspective 34 10. More on changing the indexing category 40 11. The two-sided bar construction 44 12. Function spaces and the two-sided cobar construction 49 Part 3. The homotopy theory of diagrams 52 13. Model structures on diagram categories 53 14. Cofibrant diagrams 60 15. Diagrams in the homotopy category 66 16. Homotopy coherent diagrams 69 Part 4. Other useful tools 76 17. Homology and cohomology of categories 77 18. Spectral sequences for holims and hocolims 85 19. Homotopy limits and colimits in other model categories 90 20. Various results concerning simplicial objects 94 Part 5. Examples 96 21. Homotopy initial and terminal functors 96 22. Homotopical decompositions of spaces 103 23. A survey of other applications 108 Appendix A. The simplicial cone construction 108 References 108 1 2 DANIEL DUGGER 1. Introduction This is an expository paper on homotopy colimits and homotopy limits. These are constructions which should arguably be in the toolkit of every modern algebraic topologist, yet there does not seem to be a place in the literature where a graduate student can easily read about them. Certainly there are many fine sources: [BK], [DwS], [H], [HV], [V1], [V2], [CS], [S], among others.
    [Show full text]
  • Arxiv:Math/0509655V2 [Math.CT] 26 May 2006 Nt Rdcs Aigacategory a Having Products
    ON HOMOTOPY VARIETIES J. ROSICKY´ ∗ Abstract. Given an algebraic theory T , a homotopy T -algebra is a simplicial set where all equations from T hold up to homotopy. All homotopy T -algebras form a homotopy variety. We will give a characterization of homotopy varieties analogous to the character- ization of varieties. 1. Introduction Algebraic theories were introduced by F. W. Lawvere (see [31] and also [32]) in order to provide a convenient approach to study algebras in general categories. An algebraic theory is a small category T with finite products. Having a category K with finite products, a T -algebra in K is a finite product preserving functor T →K. Algebras in the category Set of sets are usual many-sorted algebras. Algebras in the category SSet of simplicial sets are called simplicial algebras and they can be also viewed as simplicial objects in the category of algebras in Set. In homotopy theory, one often needs to consider algebras up to homotopy – a homotopy T -algebra is a functor A : T → SSet such that the canonical morphism A(X1 ×···× Xn) → A(X1) ×···× A(Xn) is a weak equivalence for each finite product X1 ×···× Xn in T . These homotopy algebras have been considered in recent papers [6], [7] and [9] but the subject is much older (see, e.g., [16], [8], [35] or [38]). arXiv:math/0509655v2 [math.CT] 26 May 2006 A category is called a variety if it is equivalent to the category Alg(T ) of all T -algebras in Set for some algebraic theory T . There is a char- acterization of varieties proved by F.
    [Show full text]
  • On Colimits in Various Categories of Manifolds
    ON COLIMITS IN VARIOUS CATEGORIES OF MANIFOLDS DAVID WHITE 1. Introduction Homotopy theorists have traditionally studied topological spaces and used methods which rely heavily on computation, construction, and induction. Proofs often go by constructing some horrendously complicated object (usually via a tower of increasingly complicated objects) and then proving inductively that we can understand what’s going on at each step and that in the limit these steps do what is required. For this reason, a homotopy theorist need the freedom to make any construction he wishes, e.g. products, subobjects, quotients, gluing towers of spaces together, dividing out by group actions, moving to fixed points of group actions, etc. Over the past 50 years tools have been developed which allow the study of many different categories. The key tool for this is the notion of a model category, which is the most general place one can do homotopy theory. Model categories were introduced by the Fields Medalist Dan Quillen, and the best known reference for model categories is the book Model Categories by Mark Hovey. Model categories are defined by a list of axioms which are all analogous to properties that the category Top of topological spaces satisfies. The most important property of a model category is that it has three distinguished classes of morphisms–called weak equivalences, cofibrations, and fibrations–which follow rules similar to the classes of maps with those names in the category Top (so the homotopy theory comes into play by inverting the weak equivalences to make them isomorphisms). The fact that homotopy theorists need to be able to do lots of constructions is contained in the axiom that M must be complete and cocomplete.
    [Show full text]
  • Arxiv:Math/0110316V1 [Math.AT] 30 Oct 2001 Ne ..Bx288,Nwhvn Onciu 62-23 U 06520-8283, Connecticut Haven, New 208283, Box P.O
    Homotopy theory of diagrams Wojciech Chach´olski J´erˆome Scherer Author address: Yale University, Department of Mathematics, 10 Hillhouse Av- enue, P.O. Box 208283, New Haven, Connecticut 06520-8283, USA E-mail address: [email protected] Universite´ de Lausanne, Institut de Mathematiques,´ CH-1015 Lau- sanne, Switzerland E-mail address: [email protected] arXiv:math/0110316v1 [math.AT] 30 Oct 2001 Contents Introduction 1 Chapter I. Model approximations and bounded diagrams 5 1. Notation 5 2. Model categories 6 3. Left derived functors 12 4. Left derived functors of colimits and left Kan extensions 14 5. Model approximations 16 6. Spaces and small categories 19 7. Thepull-backprocessandlocalproperties 22 8. Colimits of diagrams indexed by spaces 22 9. Left Kan extensions 24 10. Bounded diagrams 26 ChapterII. Homotopytheoryofdiagrams 29 11. Statements of the main results 29 12. Cofibrations 30 13. Funb(K, M) as a model category 32 14. Ocolimit of bounded diagrams 35 15. Bousfield-Kan approximation of Fun(I, C) 36 16. Homotopy colimits and homotopy left Kan extensions 37 17. Relative boundedness 38 18. Reduction process 40 19. Relative cofibrations 44 20. Cofibrations and colimits 46 b 21. Funf (L, M) as a model category 48 22. Cones 49 23. Diagrams indexed by cones I 51 ChapterIII. Propertiesofhomotopycolimits 54 24. Fubini theorem 54 25. Bounded diagrams indexed by Grothendieck constructions 57 26. Thomason’s theorem 59 27. Etale´ spaces 63 28. Diagrams indexed by cones II 67 29. Homotopy colimits as ´etale spaces 69 30. Cofinality 70 31. Homotopy limits 71 Appendix A.
    [Show full text]