Quillen Adjunction

An adjoint pair between model categories whose left member preserves cofibrations and trivial cofibrations, equivalently whose right member preserves fibrations and trivial fibrations.

Version

v2 · 2026-09-06 · History

Domain-specific #

2610

Origin domain

mathematics

Subdomain

homotopical algebra

Aliases

Quillen pair

Core Idea

Let \(\mathcal M\) and \(\mathcal N\) be model categories, each equipped with weak equivalences, cofibrations, and fibrations. An adjunction

\[ F:\mathcal M \rightleftarrows \mathcal N:U, \qquad F\dashv U, \]

is a Quillen adjunction when the left adjoint \(F\) preserves cofibrations and trivial cofibrations. Equivalently, the right adjoint \(U\) preserves fibrations and trivial fibrations.^[1][2] “Trivial” or “acyclic” means that the map is also a weak equivalence. The adjunction direction is part of the identity: \(F\) travels from \(\mathcal M\) to \(\mathcal N\), while \(U\) travels back.

The equivalence of the left and right tests is not a naming convention. Under an adjunction, lifting problems transpose: \(F\) preserves cofibrations exactly when \(U\) preserves trivial fibrations, and \(F\) preserves trivial cofibrations exactly when \(U\) preserves fibrations. Riehl packages this through the two weak factorization systems of a model category and records equivalent mixed tests: preservation of cofibrations by \(F\) together with fibrations by \(U\), or preservation of trivial cofibrations by \(F\) together with trivial fibrations by \(U\).^[2]

The payoff is homotopy-correct transport. A left Quillen functor preserves weak equivalences between cofibrant objects; a right Quillen functor preserves weak equivalences between fibrant objects. After cofibrant and fibrant replacement, they induce total derived functors

\[ \mathbf L F:\operatorname{Ho}(\mathcal M) \rightleftarrows \operatorname{Ho}(\mathcal N):\mathbf R U \]

that remain adjoint.^[1][2] The locked identity is two model categories + a directed adjoint pair + preservation of the appropriate model-structure classes -> an induced derived adjunction. It is autonomous because an ordinary Functor or even an ordinary adjunction does not include these preservation obligations.

Structural Signature

• source model category \(\mathcal M\) — a category with declared weak equivalences \(W_{\mathcal M}\), cofibrations \(C_{\mathcal M}\), and fibrations \(Fib_{\mathcal M}\) satisfying the model axioms;
• target model category \(\mathcal N\) — a second such category, with its own three classes;
• left adjoint \(F:\mathcal M\to\mathcal N\) — paired with \(U\) by natural bijections \(\mathcal N(FX,Y)\cong\mathcal M(X,UY)\);
• right adjoint \(U:\mathcal N\to\mathcal M\) — directionally determined by those bijections, not an interchangeable label;
• left preservation test — \(F(C_{\mathcal M})\subseteq C_{\mathcal N}\) and \(F(C_{\mathcal M}\cap W_{\mathcal M})\subseteq C_{\mathcal N}\cap W_{\mathcal N}\);
• equivalent right preservation test — \(U(Fib_{\mathcal N})\subseteq Fib_{\mathcal M}\) and \(U(Fib_{\mathcal N}\cap W_{\mathcal N})\subseteq Fib_{\mathcal M}\cap W_{\mathcal M}\);
• cofibrant replacement \(QX\to X\) — makes \(F\) homotopical on the inputs used to compute \(\mathbf L F(X)\simeq F(QX)\);
• fibrant replacement \(Y\to RY\) — makes \(U\) homotopical on the inputs used to compute \(\mathbf R U(Y)\simeq U(RY)\);
• derived adjunction — the induced hom-set correspondence on localized homotopy categories;
• optional equivalence criterion — an additional property, not part of the base definition, requiring weak-equivalence detection across adjunct maps between cofibrant and fibrant objects.

Recognition test. First verify a genuine adjunction and record its orientation. Second verify that both endpoints carry the model structures being claimed; the same underlying categories with different model structures can change the answer. Third prove either complete preservation pair above. Checking only weak equivalences, only cofibrations, or only fibrations is insufficient unless another theorem supplies the missing half. Finally, call it a Quillen equivalence only after the stronger derived-equivalence criterion passes.

What It Is Not

• Not an ordinary adjunction. Free–forgetful, tensor–hom, inverse-image/direct-image, and colimit–constant pairs are adjunctions before any model structures are chosen. They become Quillen only when the declared preservation test holds for those structures.
• Not one functor alone. “Left Quillen functor” includes being a left adjoint and therefore points to some right adjoint; the Quillen adjunction is the oriented pair and its adjunction data.
• Not a functor that preserves every weak equivalence. A left Quillen functor is guaranteed by Ken Brown’s lemma to preserve weak equivalences between cofibrant objects, not necessarily all objects. The right-side guarantee is correspondingly limited to fibrant objects.^[2]
• Not merely a derived adjunction. Other deformability or localization hypotheses can produce adjoint derived functors without the original pair satisfying the Quillen preservation conditions. The derived result is a consequence here, not an equivalent definition in every homotopical framework.^[2]
• Not automatically a Quillen equivalence. A Quillen equivalence is a Quillen adjunction whose derived adjunction is an equivalence. Most Quillen adjunctions need not meet that stronger condition.
• Not an equivalence of underlying categories. A Quillen equivalence can connect point-set categories that are far from categorically equivalent; its equivalence is after homotopy localization.
• Not “weak Quillen” by default. Weak model categories, semi-model categories, weak Quillen quasiadjunctions, and other relaxations modify ambient axioms or restrict which sources and targets carry lifting/factorization guarantees. Those variants require their own stated definition.^[3]
• Not an enriched or monoidal Quillen adjunction without extra compatibility. Enrichment and monoidal comparison maps are additional structures beyond the ordinary model-category pair.

Scope of Application

Quillen adjunctions are the standard model-level morphisms of homotopy theories. They compare spaces with simplicial sets, chain complexes under change of rings, spectra under change of models, categories of algebras over operads, diagram categories, localized model structures, and competing presentations of higher categories. In each use, the adjunction supplies computational transport while the preservation test guarantees that cofibrant or fibrant replacement makes that transport homotopically meaningful.

The classical geometric realization–singular complex pair

\[ |-|:\mathbf{sSet}\rightleftarrows\mathbf{Top}:Sing \]

is a Quillen adjunction for the Kan–Quillen model structure on simplicial sets and the standard Quillen model structure on convenient spaces. In fact it is a Quillen equivalence; its derived functors identify their homotopy categories.^[4][2] The base Quillen-adjunction check and the later equivalence check remain logically distinct even in this flagship example.

Model structures on diagrams make another recurring setting. With suitable projective, injective, or Reedy model structures, Kan extensions, restriction, colimit, constant-diagram, realization, and totalization adjunctions can become Quillen. Riehl proves, for example, that geometric realization from Reedy-model simplicial objects in a simplicial model category is left Quillen.^[2] The qualifier about the diagram model structure is essential: an adjunction can be Quillen for one structure and fail for another.

Transferred model structures use the criterion operationally. Given \(F\dashv U\), one may attempt to create fibrations and weak equivalences in the target through \(U\). If a model structure satisfying the axioms is successfully established, \(U\) preserves fibrations and trivial fibrations by construction, so the adjunction is Quillen. The preservation observation does not by itself prove that the transferred model structure exists; smallness and acyclicity conditions do that separate work.

Modern comparison results lift the consequence beyond homotopy categories. Mazel-Gee proves that a Quillen adjunction induces an adjunction between underlying quasicategories under weak model-category hypotheses.^[5] This strengthens the transport target while leaving the classical preservation identity unchanged.

Clarity

A reliable audit has two columns.

Left test	Right test
\(F\) sends cofibrations to cofibrations	\(U\) sends trivial fibrations to trivial fibrations
\(F\) sends trivial cofibrations to trivial cofibrations	\(U\) sends fibrations to fibrations
compute \(\mathbf L F\) on cofibrant replacements	compute \(\mathbf R U\) on fibrant replacements

The rows cross under adjunction. A proof may use the two statements in the left column, the two statements in the right column, or one of Riehl’s equivalent mixed pairs. What it may not do is check unrelated halves—for example, \(F\) preserving cofibrations and trivial fibrations has no standard type-correct meaning because trivial fibrations live in the same arrow class but are not the left-adjoint obligation.

Direction matters in notation and in the DAG. If \(F:\mathcal M\to\mathcal N\) is left adjoint to \(U:\mathcal N\to\mathcal M\), then the derived left functor travels \(\operatorname{Ho}(\mathcal M)\to\operatorname{Ho}(\mathcal N)\), while the derived right functor travels back. Reversing the model categories without swapping the adjoints changes the assertion.

The fastest countercheck is to choose a generating map when the model categories are cofibrantly generated. If \(F\) fails on a generating cofibration or generating trivial cofibration, the Quillen claim fails immediately. Passing the generators can establish the full result only under hypotheses ensuring the relevant closure and small-object arguments; it is not a definition-free shortcut.

Manages Complexity

Homotopy categories are localizations, and explicit localization functors are difficult to compute directly. A Quillen adjunction replaces “does this arbitrary functor descend through localization?” with lifting-compatible preservation tests on two controlled arrow classes. Cofibrant and fibrant replacements then turn point-set functors into derived functors.

The left/right equivalence halves the proof burden. Some right adjoints are defined by limits, mapping objects, or forgetful operations and make fibrations easy to recognize; others have left adjoints whose behavior on cell attachments is transparent. The adjunction lets the practitioner choose the tractable side without changing the resulting object.

It also separates comparison from equivalence. First establish safe one-way homotopy transport by proving the Quillen condition. Then ask whether the transport loses information by checking the derived unit and counit or the cofibrant–fibrant adjunct-map criterion. This staged test prevents the common leap from “there is a comparison functor” to “the two homotopy theories are the same.”

Composition gives scalability. Composites of left Quillen functors preserve cofibrations and trivial cofibrations, and the corresponding right adjoints compose in reverse order. Thus chains of model presentations can be compared by composing certified links, with derived functors composing up to the expected natural isomorphism.^[1]

Abstract Reasoning

Suppose \(i:A\to B\) is a cofibration in \(\mathcal M\). To prove \(Fi\) is a cofibration, it is often easier to test its left lifting property against every trivial fibration \(p\) in \(\mathcal N\). By adjunction, a lift against \(Fi\) corresponds to a lift of \(i\) against \(Up\). If \(U\) preserves trivial fibrations, the model axiom supplies the lift. Replacing “cofibration/trivial fibration” with “trivial cofibration/fibration” proves the other equivalence.

For homotopy transport, choose \(QX\xrightarrow{\sim}X\) with \(QX\) cofibrant and \(Y\xrightarrow{\sim}RY\) with \(RY\) fibrant. Then represent

\[ \mathbf L F(X)=F(QX),\qquad \mathbf R U(Y)=U(RY) \]

inside the homotopy categories. Ken Brown’s lemma ensures independence up to canonical derived isomorphism from the relevant weakly equivalent cofibrant or fibrant choices. The original adjunction’s hom-set bijection descends to the derived adjunction.

To upgrade, test every cofibrant \(X\in\mathcal M\), fibrant \(Y\in\mathcal N\), and adjunct pair \(f:FX\to Y\), \(f^\sharp:X\to UY\). The Quillen adjunction is a Quillen equivalence exactly when \(f\) is a weak equivalence if and only if \(f^\sharp\) is.^[1][2] This criterion is stronger than preservation and should never be folded into the base name.

Knowledge Transfer

The exact pattern transfers across model-categorical substrates: spaces, simplicial objects, chain complexes, spectra, differential graded objects, operadic algebras, presheaves, and categorical models. The objects and weak equivalences change, but the roles remain literal: model structures on both ends, an oriented adjunction, preservation, replacement, and derived transport.

The test also transfers between construction strategies. If the left adjoint is cellular, inspect cofibration generators. If the right adjoint creates fibrations, inspect lifting classes. If the goal is equivalence, inspect the derived unit/counit or adjunct-map criterion. The same abstraction therefore organizes proofs that look point-set, algebraic, or categorical on the surface.

Outside homotopical algebra, the portable residue is merely an adjoint pair that respects designated classes and yields a coarser-level comparison. Those broad relations are already represented by Functor and other structural abstractions. Cofibrancy, fibrancy, weak equivalence, model factorization, and homotopy localization do not transfer literally to unrelated substrates, so Quillen Adjunction remains domain-specific.

Examples

1. Identity. The identity adjunction on any model category preserves all three distinguished classes. It is a Quillen adjunction and a Quillen equivalence. This checks that the definition has units.
2. Composition. If \(F\dashv U:\mathcal M\rightleftarrows\mathcal N\) and \(F'\dashv U':\mathcal N\rightleftarrows\mathcal P\) are Quillen adjunctions, then \(F'F\dashv UU'\) is Quillen. The reversal in the composite right adjoint is a useful direction check.^[1]
3. Geometric realization and singular complex. For the classical model structures, \(|-|:\mathbf{sSet}\rightleftarrows\mathbf{Top}:Sing\) is a Quillen equivalence. The right adjoint preserves (trivial) fibrations; the derived equivalence recovers the homotopy theory of spaces.^[4][2]
4. Adding a disjoint basepoint. The adjunction \((-)_{+}:\mathbf{sSet}\rightleftarrows\mathbf{sSet}_{*}:U\) is a strong monoidal Quillen adjunction for the usual pointed and unpointed simplicial model structures.^[2] Strong monoidality is extra; the ordinary Quillen condition remains the preservation core.
5. Reedy realization. If \(\mathcal M\) is a simplicial model category, geometric realization \(|-|:\mathcal M^{\Delta^{op}}_{Reedy}\to\mathcal M\) is left Quillen.^[2] It therefore preserves weak equivalences between Reedy-cofibrant simplicial objects, not arbitrary pointwise weak equivalences without qualification.
6. Nonexample. An adjunction between the underlying categories that sends some trivial cofibration to a map that is not a weak equivalence in the target is not Quillen for those model structures, even if it preserves ordinary isomorphisms and has well-defined derived functors by some separate deformation method.

Structural Tensions

• Left calculability vs. right calculability. Cell attachments favor the left test; lifting and forgetful structure favor the right. Diagnostic: choose the side whose distinguished maps have the explicit description, then use adjunction to recover the other.
• Point-set functor vs. homotopy-correct functor. \(F\) need not preserve all weak equivalences, while \(\mathbf L F\) does after replacement. Diagnostic: ask whether the input is cofibrant or has been replaced.
• Comparison vs. sameness. Every Quillen adjunction gives derived transport; only a Quillen equivalence gives equivalent homotopy theories. Diagnostic: test adjunct weak equivalences on cofibrant–fibrant pairs.
• Underlying categories vs. chosen model structures. One adjunction may be Quillen for one pair of model structures and fail for another. Diagnostic: name all three arrow classes on both endpoints.
• Classical model axioms vs. weak variants. Semi-model and weak-model settings retain analogous constructions with restricted factorization or lifting domains. Diagnostic: state the ambient framework before using the unqualified classical definition.
• Minimal hierarchy vs. mathematical ingredients. The current catalog has Functor but lacks Adjunction and Model Category. Diagnostic: use one presupposition edge now and re-run parent minimality when those more proximate nodes exist.

Structural–Framed Character

Quillen Adjunction is strongly structural. An adjunction exists or does not; preservation of specified arrow classes is checkable; and the derived equivalence criterion is a theorem-level predicate. No institutional preference or evaluative norm defines membership.

Its structural-framed aggregate is \(0.05\). The small vocabulary-travel component reflects choices such as “trivial” versus “acyclic” and “model category” versus the older “closed model category,” plus explicitly named weak variants. These are convention controls, not changes in the core formal relations.

Structural Core vs. Domain Accent

The portable core is paired directional translations + an adjunction law + preservation of designated safe maps + induced transport after quotienting or localization. That skeleton helps reason about when a comparison respects an equivalence notion rather than merely mapping objects.

The domain accent is decisive: model categories, two weak factorization systems, weak equivalences, cofibrations, fibrations, cofibrant/fibrant objects, replacements, and homotopy categories. Removing them leaves an ordinary adjunction or a generic preservation scheme. Functor alone does not provide the adjoint mate or the preservation profile; equivalence-preserving rewriting does not provide the model-category lifting structure.

Composite closure therefore fails. Two Functors plus Category plus an abstract equivalence notion still do not force the natural hom-set bijection, identify the relevant weak factorization systems, or yield the Quillen preservation equivalence and derived adjunction. The remaining package is autonomous within homotopical algebra but cannot cross the prime transfer bar.

Instantiates / Related Primes

• Functor. A Quillen adjunction contains a left and a right functor and adds adjointness plus model-structure preservation. Because no Adjunction or Model Category node is live, Functor is the sole proposal-only DAG parent through strict composition/presupposition.
• Category. Both endpoints are categories with additional model structure. Category is already upstream of the live Functor node, so a direct Category edge would be redundant.
• Equivalence-Preserving Rewriting. Derived transport respects weak-equivalence localization, but a Quillen adjunction is neither a rewrite system nor required to be a Quillen equivalence. This is only a loose structural neighbor.
• Canonical Form. Cofibrant and fibrant replacements provide controlled representatives, not unique canonical forms. No DAG relation is justified.

The proposal direction is domain_specific:quillen_adjunction to parent domain_specific:functor. Reversing it would falsely say that a generic functor presupposes a Quillen adjunction. If live Adjunction or Model Category nodes enter, either will be a more proximate parent candidate and should trigger a minimality review.

Relationships to Other Abstractions

Current abstraction Quillen Adjunction Domain-specific

Parents (1) — more general patterns this builds on

• Quillen Adjunction presupposes Functor Domain-specific

  Functor. A Quillen adjunction contains a left and a right functor and adds adjointness plus model-structure preservation.

Hierarchy paths (4) — routes to 4 parentless roots

• Quillen Adjunction → Functor → Category → Associativity → Invariance

Show alternative paths (3)

Neighborhood in Abstraction Space

Quillen Adjunction sits in a sparse region of the domain-specific corpus (88^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

• Joyal Model Structure — 0.82
• Homotopy Category — 0.81
• Functor — 0.81
• Synthetic differential geometry — 0.79
• Gabriel–Rosenberg Reconstruction Theorem — 0.79

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With

• Adjunction — the natural correspondence \(\mathcal N(FX,Y)\cong\mathcal M(X,UY)\), with no model structures or Quillen preservation necessarily present.
• Left or right Quillen functor — one directed member described together with its adjoint context; the Quillen adjunction is the whole oriented pair.
• Derived adjunction — the adjunction \(\mathbf L F\dashv\mathbf R U\) between homotopy categories, produced by a Quillen adjunction but also obtainable in broader deformable settings.
• Quillen equivalence — a Quillen adjunction whose derived adjunction is an equivalence, equivalently satisfying the cofibrant–fibrant adjunct-map weak-equivalence test.
• Weak Quillen adjunction — a framework-dependent analogue between weak model or semi-model categories; its restricted axioms must be stated.^[3]
• Weak Quillen quasiadjunction — a different relaxation that can weaken literal adjunction data through homotopical unit/counit substitutes; not an alias for the classical construct.
• Monoidal or enriched Quillen adjunction — a Quillen adjunction plus monoidal or enrichment compatibility.
• Equivalence of categories — a statement about underlying categorical inverses, stronger in the wrong place and unrelated to model replacement.

References

[1] Mark Hovey. Model Categories. Mathematical Surveys and Monographs 63, American Mathematical Society (1999). Section 1.3 is the authoritative source for left/right Quillen functors, equivalent adjoint conditions, derived functors, composition, and Quillen equivalence. registry ↩a ↩b ↩c ↩d ↩e

[2] Emily Riehl. Categorical Homotopy Theory. Cambridge University Press (2014). Author-hosted full text inspected, especially §§2.2, 5.2, 6.2, and 11.3, for deformation boundaries, examples, weak-factorization proof, Ken Brown’s lemma, derived adjunction, and equivalence criterion. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k

[3] Simon Henry. “Weak Model Categories in Classical and Constructive Mathematics.” Theory and Applications of Categories 35(24), 875–958 (2020). Used only to distinguish the classical construct from analogues in weak and semi-model categories. registry ↩a ↩b

[4] Daniel G. Quillen. Homotopical Algebra. Lecture Notes in Mathematics 43, Springer (1967). Foundational source for closed model categories and the classical simplicial-set/space comparison; DOI and bibliographic identity verified on Springer. registry ↩a ↩b

[5] Aaron Mazel-Gee. “Quillen Adjunctions Induce Adjunctions of Quasicategories.” New York Journal of Mathematics 22, 57–93 (2016). Used for the underlying-quasicategory consequence, not the base definition. registry ↩

[6] “Quillen adjunction.” Wikipedia, frozen revision 1316809326 (2025-10-14). Preserved as discovery provenance, not used as the material authority. registry