Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- PART I DERIVED FUNCTORS AND HOMOTOPY (CO)LIMITS
- 1 All concepts are Kan extensions
- 2 Derived functors via deformations
- 3 Basic concepts of enriched category theory
- 4 The unreasonably effective (co)bar construction
- 5 Homotopy limits and colimits: The theory
- 6 Homotopy limits and colimits: The practice
- PART II ENRICHED HOMOTOPY THEORY
- PART III MODEL CATEGORIES AND WEAK FACTORIZATION SYSTEMS
- PART IV QUASI-CATEGORIES
- Bibliography
- Glossary of Notation
- Index
2 - Derived functors via deformations
from PART I - DERIVED FUNCTORS AND HOMOTOPY (CO)LIMITS
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Dedication
- Contents
- Preface
- PART I DERIVED FUNCTORS AND HOMOTOPY (CO)LIMITS
- 1 All concepts are Kan extensions
- 2 Derived functors via deformations
- 3 Basic concepts of enriched category theory
- 4 The unreasonably effective (co)bar construction
- 5 Homotopy limits and colimits: The theory
- 6 Homotopy limits and colimits: The practice
- PART II ENRICHED HOMOTOPY THEORY
- PART III MODEL CATEGORIES AND WEAK FACTORIZATION SYSTEMS
- PART IV QUASI-CATEGORIES
- Bibliography
- Glossary of Notation
- Index
Summary
In common parlance, a construction is homotopical if it is invariant under weak equivalence. A generic functor frequently does not have this property. In certain cases, the functor can be approximated by a derived functor, a notion first introduced in homological algebra, which is a universal homotopical approximation either to or from the original functor.
The definition of a total derived functor is simple enough: it is a Kan extension whose handedness unfortunately contradicts that of the derived functor, along the appropriate localization (see Example 1.1.11). But, unusually for constructions characterized by a universal property, generic total derived functors are poorly behaved: for instance, the composite of the total left derived functors of a pair of composable functors is not necessarily a total left derived functor for the composite. The problem with thes tandard definition is that total derived functors are not typically required to be pointwise Kan extensions. In light of Theorem 1.3.5, this seems reasonable, because homotopy categories are seldom complete or cocomplete.
One of the selling points of Daniel Quillen's theory of model categories is that they highlight classes of functors – the left or right Quillen functors – whose left or right derived functors can be constructed in a uniform way, making the passage to total derived functors pseudofunctorial. However, it turns out a full model structure is not necessary for this construction, as suggested by the slogan that “all that matters are the weak equivalences.”
- Type
- Chapter
- Information
- Categorical Homotopy Theory , pp. 17 - 31Publisher: Cambridge University PressPrint publication year: 2014