Injective and projective model structure


In higher category theory in mathematics, injective and 'projective model structures' are special model structures on functor categories into a model category. Both model structures do not have to exist, but there are conditions guaranteeing their existence. An important application is for the study of limits and colimits, which are functors from a functor category and can therefore be made into Quillen adjunctions.

Definition

Let be a small category and be a model category. For two functors, a natural transformation is composed of morphisms in for all objects in. For those it hence be studied if they are fibrations, cofibrations and weak equivalences, which might lead to a model structure on the functor category.
  • Injective cofibrations and injective weak equivalences are the natural transformations, which componentswise only consist of cofibrations and weak equivalences respectively. Injective fibrations are those natural transformations which have the right lifting property with respect to all injective trivial cofibrations.
  • Projective fibrations and projective weak equivalences are the natural transformations, which componentswise only consist of fibrations and weak equivalences respectively. Projective cofibrations are those natural transformations which have the left lifting property with respect to all projective trivial fibrations.
For a model structure, the injective trivial cofibrations also have to have the right lifting property with respect to all injective fibrations and the projective trivial fibrations also have to have the left lifting property with respect to all projective cofibrations. Since both doesn't have to be the case, the injective and projective model structure doesn't have to exist.
The functor category with the initial and projective model structure is denoted and respectively.

Properties

  • If ist the category assigned to a small well-ordered set with initial element and if has all small colimits, then the projective model structure on exists.

    Quillen adjunctions

Let be a combinatorical model category. Let be a functor between small categories, then there is a functor by precomposition. Since has all small limits and small colimits, this functor has a left adjoint with known as left Kan extension as well as a right adjoint with known as right Kan extension. While the former adjunction is a Quillen adjunction between the projective model structures, the latter is a Quillen adjunctions between the injective model structures.

Literature

*