Quillen Model Categories

• Quillen models are abstract categorical frameworks defined by cofibrations, fibrations, and weak equivalences that satisfy axioms (MC1–MC5).
• They enable the construction of homotopy categories through localization, providing a systematic approach to inverting weak equivalences.
• The framework extends to diverse settings—from topological spaces and graphs to operads and rational homotopy theory—supporting broad applications.

A Quillen model is an abstract categorical framework designed to encode and control homotopy-theoretic phenomena via the notion of a "model category." Introduced in Quillen’s seminal work on homotopical algebra, a Quillen model category is a bicomplete category endowed with three classes of morphisms—cofibrations, fibrations, and weak equivalences—interconnected by axioms (MC1–MC5) enabling a robust calculus of homotopy and a formal homotopy category. Quillen models serve as the universal setting for modern algebraic topology, homotopical algebra, rational homotopy theory, and the study of derived and higher-categorical structures.

1. Quillen Model Category: Foundational Structure

A model category is a bicomplete category $\mathcal{C}$ equipped with three distinguished classes of morphisms—weak equivalences ($W$), cofibrations (Cof), and fibrations (Fib)—satisfying five axioms (Hirschhorn, 2015, Girabel, 2020):

1. Completeness and cocompleteness: $\mathcal{C}$ has all small limits and colimits (MC1);
2. Two-out-of-three: In any composable pair $f: X\to Y$, $g: Y\to Z$, if two of $f$, $g$, $g\circ f$ are weak equivalences, so is the third (MC2);
3. Retracts: Each of the three classes is closed under retracts in the arrow category (MC3);
4. Lifting: Cofibrations have the left lifting property with respect to all trivial fibrations ($\text{Fib}\cap W$), and trivial cofibrations ($\text{Cof}\cap W$) have LLP with respect to all fibrations (MC4);
5. Factorization: Every morphism factors (functorially) both as a cofibration followed by a trivial fibration and as a trivial cofibration followed by a fibration (MC5).

In standard settings, such as topological spaces (Top), these are instantiated explicitly with:

• Weak equivalences: weak homotopy equivalences;
• Fibrations: Serre fibrations;
• Cofibrations: retracts of relative cell complexes (CW-attachments) (Hirschhorn, 2015, Ebel et al., 2023).

This structure enables the definition and manipulation of homotopy—the theory of deforming morphisms and objects—purely in categorical terms.

2. Homotopy Theory and Localization

The central purpose of Quillen model structures is the construction of a "homotopy category" $W$0 by formally inverting weak equivalences. Quillen’s localization (Girabel, 2020) is equipped with universal properties: $W$1 is characterized by functoriality with respect to weak-equivalence-inverting functors, and can be concretely constructed by restricting to the full subcategory of bifibrant objects (both cofibrant and fibrant) and then quotienting morphism sets by the homotopy relation mediated by cylinder and path objects.

This localization allows the recovery of classical homotopy categories, e.g., for topological spaces or chain complexes, and underlies abstract constructions such as derived functors and spectral sequences. Recent advances generalize this to higher localization—a 2-categorical framework where morphisms between morphisms (homotopies as 2-cells) are tracked explicitly rather than modded out (Girabel, 2020).

3. Examples and Variations of Quillen Models

Topological Spaces

The category of (compactly generated) topological spaces supports the canonical Serre model structure, with generating cofibrations (e.g., sphere inclusions $W$2) and generating trivial cofibrations (cylinder inclusions $W$3), and where all CW-complexes are cofibrant and all objects are fibrant (Hirschhorn, 2015).

Graphs

Quillen model structures extend to discrete settings, such as the category $W$4 of finite undirected graphs. Various model structures—trivial, componentwise, furbished-part, and core model structures—have different choices for weak equivalences (e.g., isomorphisms, isomorphisms on components, or on "cores"), all satisfying Quillen’s axioms, and leading to distinct homotopy types and localization phenomena (Droz, 2012).

Operads and Higher Categories

Model structures can be defined on categories of (symmetric) operads, with folk model structures characterized by operadic equivalences, injective-on-objects cofibrations, and iso-lifting fibrations, and compatible pushout-product monoidal structures (Weiss, 2014). Similarly, a Quillen model exists on Gray-categories (enriched in 2-Cat with Gray tensor product), with weak equivalences/triequivalences (enriched equivalences), and extends to model 3-types (Lack, 2010).

Algebraic Categories

Quillen models are basic in the theory of differential graded modules and algebras in Grothendieck quasi-abelian categories, supporting derived algebraic geometry in bornological or convenient vector spaces, and relating to model structures for Morita theory and derived intersections (Chevalley–Eilenberg, Koszul resolutions) (Wallbridge, 2015, Dell'Ambrogio et al., 2012). Quillen equivalences can be established between coderived and contraderived model categories for Gorenstein rings, relating the homotopy categories of exact complexes of projectives and injectives (Ren, 2019).

Geometric and Stratified Homotopy

Quillen model structures have been constructed on diffeological spaces (Diff), with smooth weak equivalences and Serre-type fibrations, Quillen-equivalent to the standard topological model (Haraguchi et al., 2020). Stratified spaces are modeled via filtered simplicial sets and filtered topological spaces, with equivalence via stratified Kan–Quillen adjunctions (Douteau, 2021).

4. Minimal Quillen Models in Rational Homotopy Theory

In rational homotopy theory, a Quillen model for a simply-connected CW-complex $W$5 (of finite rational type) is a minimal free differential graded Lie algebra $W$6, with $W$7. The graded Lie algebra $W$8 recovers $W$9. The construction proceeds by inductively encoding the rational homotopy groups and Whitehead products (structure constants) into generators and differentials; these minimal models are unique up to isomorphism (Yi, 13 May 2025).

Explicit constructions for products, such as the Cartesian product of 2-cones, involve a derived extension of the free Lie algebra via derivations and a binary operation $\mathcal{C}$0 on magma and Lie algebra objects, yielding a closed formula for the product differential and modeling the diagonal map to $\mathcal{C}$1 (Buijs et al., 2024).

Persistent versions—functors $\mathcal{C}$2 tracking filtrations—provide stable invariants for topological data analysis, refining ordinary persistent homology by capturing non-abelian, higher-order algebraic data and proving stability inequalities for induced distances in the homotopy category (Yi, 13 May 2025).

5. Categorical and Synthetic Extensions

Recent research has extended the Quillen framework to accommodate more general settings, including locales (pointless topologies), $\mathcal{C}$3-generated spaces, pseudotopological spaces, and categories with various enrichment or locality structure (Ebel et al., 2023, Maia, 2020). Synthetic, axiomatized treatments make explicit the minimal assumptions needed to replicate the standard Quillen structure, providing a template for transporting the model category apparatus to new settings, such as categories of sheaves, locales, and logic-based frameworks.

Analogous homotopy-theoretic structures have been constructed on categories relevant for logic and computer science, such as structures underlying localities in finite model theory, via Quillen model categories capturing $\mathcal{C}$4-logical equivalence (Maia, 2020).

6. Technical Refinements and 2-Localizations

Beyond 1-categorical localizations, 2-localizations track homotopies as explicit 2-cells, organizing not only weak equivalences but also "homotopies between morphisms" into a bicategory structure. This refinement allows for coherence data and finer distinctions, e.g., distinguishing between strict and homotopy equivalences, and carries implications for higher category theory, simplicial enrichment, and the organizational structure of derived and stable homotopy theories (Girabel, 2020).

7. Applications and Significance

The Quillen model framework provides the language and toolkit underlying modern approaches in algebraic topology, algebraic geometry, homological algebra, higher category theory, operad theory, and topological data analysis. It enables the systematic comparison (via Quillen adjunctions/equivalences) of different homotopical categories, the transfer of homotopy-invariant constructions (monoidal, enriched, or stratified models), and the explicit computation and manipulation of algebraic invariants of complex geometric or combinatorial objects (Hirschhorn, 2015, Buijs et al., 2015, Dell'Ambrogio et al., 2012, Douteau, 2021, Yi, 13 May 2025, Buijs et al., 2024).

The continued development of explicit and synthetic Quillen models, their persistence-theoretic variants, and their bicategorical refinements mark ongoing progress in structuring homotopy theory as a universal language for a wide range of mathematical and applied domains.