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.
They differ in which additional class is pointwise. Injective cofibrations are objectwise and injective fibrations are defined by a right lifting property. Projective fibrations are objectwise and projective cofibrations are defined by a left lifting property. These declarations do not automatically satisfy factorization and lifting axioms, so existence must be proved under hypotheses. When available, the structures make restrictions, Kan extensions, limits, and colimits accessible through Quillen adjunctions.
Structural Signature¶
Sig role-phrases:
- Small indexing category I — Specifies diagram shape and natural transformations. It is required index. Counterfactual: No functor category is determined without the index.
- Model category C — Supplies weak equivalences, fibrations, cofibrations, limits, and colimits. It is required target. Counterfactual: An ordinary category without model structure cannot define the classes.
- Functor category — Contains diagrams and component maps organized as natural transformations. It is required carrier. Counterfactual: A collection of unrelated component maps lacks naturality.
- Objectwise weak equivalence — Provides the shared homotopical equivalence class. It is required common class. Counterfactual: Changing weak equivalences changes the modeled homotopy theory.
- Objectwise chosen class — Uses cofibrations for injective or fibrations for projective structure. It is defining dual choice. Counterfactual: Making both sides objectwise need not satisfy model axioms.
- Lifting-defined complementary class — Completes factorizations and lifting axioms if existence conditions hold. It is required model structure. Counterfactual: Objectwise declarations alone do not prove a model category.
What It Is Not¶
- The injective and projective structures are not guaranteed to exist for every I and C.
- They are not identical merely because they have the same weak equivalences.
- In the injective structure, fibrations need not be objectwise; in the projective structure, cofibrations need not be objectwise.
- They are not Reedy model structures, which use latching and matching objects from a Reedy index.
- Closest near-miss. A Reedy model structure uses degree and matching/latching constructions on a Reedy index and can exist under different hypotheses.
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.
- Check Quillen adjunction conditions for restriction, Kan extension, limit, or colimit.
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.
Examples¶
Canonical¶
In a projective structure, a natural transformation is an objectwise fibration and weak equivalence when every component has those properties; cofibrations are determined by lifting.
Mapped back: carrier → Fun(I,C); complement → projective cofibration; objectwise → fibration and weak equivalence; test → left lifting.
Applied / In Practice¶
Under existence hypotheses, a restriction/Kan-extension pair is checked objectwise and promoted to a Quillen adjunction between diagram model structures.
Mapped back: adjoints → Kan extension and restriction; frame → chosen diagram model structures; functor → change of index.
Structural Tensions¶
T1 — Objectwise Simplicity versus Global Naturality And Lifting. Component tests define one side while coherent diagram lifting controls the other.
Diagnostic: Which property is genuinely pointwise and which depends on the full diagram?
T2 — Parallel Model Structures versus Different Cofibrant Or Fibrant Replacements. Shared weak equivalences do not make injective and projective computational behavior identical.
Diagnostic: Which structure makes the intended derived functor tractable?
Structural–Framed Character¶
Injective and Projective Model Structures are strongly structural. Weak equivalences, lifting, factorization, and naturality determine them. Choosing one structure is pragmatic and changes computational convenience, while the shared localization can encode the same underlying homotopy theory.
Structural Core vs. Domain Accent¶
The skeleton is transferring a three-class homotopical structure to a functor category with one class pointwise. Abstract homotopy theory supplies model categories, natural transformations, lifting, factorizations, Quillen functors, and derived limits. Removing these yields generic componentwise structure.
Instantiates / Related Primes¶
This entry presupposes Functor Category.
-
Approved root. No reviewed parent entails these dual diagram-category model structures.
-
Related — lifting, equivalence, and functoriality. They are ingredients without asserted parent edges.
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).The diagram objects, natural-transformation morphisms, and componentwise identities and composition provide the carrier on which weak equivalences, cofibrations, and fibrations are assigned; remove that category and the injective/projective distinction is undefined. Functor categories exist without any model structure, lifting classes, or weak equivalences.
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
Not to Be Confused With¶
- Reedy model structure. Tell: Uses degree, latching, and matching objects and has different existence behavior.
- Objectwise model structure. Tell: Is informal unless the declared objectwise classes actually satisfy all model axioms.
- Injective object. Tell: Is a categorical or algebraic object and not the diagram model structure.
- Projective resolution. Tell: Is a homological-algebra construction rather than this model-category structure.
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Injective_and_projective_model_structure (revision 1287392247).
- Preserved source candidate: https://cisinski.app.uni-regensburg.de/CatLR.pdf
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.