Injective and Projective Model Structure¶
Dual model structures on a diagram category Fun(I,C) with objectwise weak equivalences; injective cofibrations or projective fibrations are objectwise, and the complementary class is determined by lifting when existence hypotheses hold.
Core Idea¶
A diagram in a model category C is a functor from a small indexing category I, and a map of diagrams is a natural transformation with one component at each object. Injective and projective model structures aim to transfer the homotopical organization of C to Fun(I,C). Both declare weak equivalences componentwise.
Scope of Application¶
- Diagram homotopy theory. Natural transformations are replaced or localized while preserving componentwise weak equivalence.
- Derived limits and colimits. A suitable model structure controls fibrant or cofibrant replacement before applying ordinary limits or colimits.
- Change of indexing category. Restriction and Kan extensions can form Quillen adjunctions under the selected structures.
- Homotopy-coherent constructions. Diagram categories provide models for structured collections whose components must vary naturally.
Clarity¶
A claim should state I, C, the selected structure, existence theorem, and which maps are pointwise. Saying that every class is objectwise is generally false. 'Injective' and 'projective' name the diagram model structures, not merely properties of objects in an abelian category, and shared weak equivalences do not make replacements computationally interchangeable.
Manages Complexity¶
The structures lift local homotopy information into a globally natural diagram category. Making one map class objectwise simplifies verification, while the complementary lifting class encodes coherence across arrows of I. The dual choices let a problem favor objectwise cofibrations or objectwise fibrations without changing the intended weak-equivalence localization.
Abstract Reasoning¶
- Choose a small index category and a model category with the required completeness and existence properties.
- Declare natural transformations objectwise weak equivalences.
- For injective structure, take objectwise cofibrations and derive fibrations by lifting; reverse the pointwise choice for projective structure.
- Verify model axioms and factorizations under an applicable existence theorem.
- Construct replacements in the structure suited to the desired derived functor.
Knowledge Transfer¶
The pattern transfers among diagram categories when the target model category and existence hypotheses support it. Objectwise reasoning in an ordinary functor category is not enough. Reedy, localized, and enriched structures are neighbors that may model related homotopy theories but use different defining data.
Relationships to Other Abstractions¶
Current abstraction Injective and Projective Model Structure Domain-specific
Parents (1) — more general patterns this builds on
-
Injective and Projective Model Structure presupposes Functor Category Domain-specific
Injective and Projective Model Structures presuppose a Functor Category because their objects are diagrams and their objectwise classes are defined component by component in Fun(I,C).
Hierarchy paths (3) — routes to 3 parentless roots
- Injective and Projective Model Structure → Functor Category → Category → Associativity → Invariance
- Injective and Projective Model Structure → Functor Category → Category → Closure
- Injective and Projective Model Structure → Functor Category → Category → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Injective and Projective Model Structure sits in a crowded region of the domain-specific corpus (32nd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Category Theory & Higher Structures (18 abstractions)
Nearest neighbors
- Simplicial Localization — 0.91
- Join of Categories — 0.89
- Monoidal Natural Transformation — 0.89
- K-theory — 0.88
- Category of Manifolds — 0.88
Computed from structural-signature embeddings · 2026-10-08