Enriched model categories and the Dold-Kan correspondence
Pith reviewed 2026-05-18 22:22 UTC · model grok-4.3
The pith
Changing the enrichment of a model category along a weak monoidal Quillen pair preserves the model structure but weakens the tensoring and cotensoring.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove a change of base theorem that describes which properties are preserved and which are weakened when changing the enrichment of an enriched model category along a weak monoidal Quillen pair. The input consists of an enriched, tensored, and cotensored model category together with a compatible weak monoidal Quillen pair.
What carries the argument
The change of base theorem, which tracks preservation of model axioms and weakening of enrichment properties under weak monoidal Quillen pairs.
If this is right
- The resulting category after change of base is still a model category.
- Some of the enriched structure is preserved while tensoring and cotensoring are weakened.
- The theorem applies to the Dold-Kan correspondence as a special case.
- Examples of weak monoidal Quillen pairs exist in equivariant homotopy theory.
Where Pith is reading between the lines
- This result may help compare model structures in different homotopy theories by changing their base categories.
- Applications could include transferring results between simplicial and chain complex enrichments in algebraic topology.
- Further work might identify more weak monoidal Quillen pairs for specific enrichments.
Load-bearing premise
The weak monoidal Quillen pair must be compatible with the model structures on both the original and new enriching categories.
What would settle it
A concrete example of an enriched model category and a weak monoidal Quillen pair where after the change the structure fails to satisfy a model category axiom that the theorem predicts is preserved.
read the original abstract
The monoidal properties of the Dold-Kan correspondence have been studied in homotopy theory, notably by Schwede and Shipley. Changing the enrichment of an enriched, tensored, and cotensored category along the Dold-Kan correspondence does not preserve the tensoring nor the cotensoring. More generally, what happens to an enriched model category if we change the enrichment along a weak monoidal Quillen pair? We prove a change of base theorem that describes which properties are preserved and which are weakened. We also provide sources of examples of weak monoidal Quillen pairs, including in equivariant homotopy theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a change of base theorem for enriched model categories. Given an enriched, tensored, and cotensored model category over a monoidal model category V together with a weak monoidal Quillen pair from V to W that is compatible with the respective model structures, the theorem identifies which enrichment, tensoring, and cotensoring properties are preserved and which are weakened after the change of base. Examples are supplied, including applications to the Dold-Kan correspondence and equivariant homotopy theory.
Significance. If the central theorem is correct, the result supplies a systematic framework for transferring enriched model structures along weak monoidal Quillen pairs while tracking the precise loss or retention of axioms. This extends the monoidal analysis of the Dold-Kan correspondence due to Schwede and Shipley and furnishes concrete sources of examples in equivariant settings, which should be of use to homotopy theorists constructing new model categories by enrichment change.
major comments (2)
- [§3.2, Theorem 3.4] §3.2, Theorem 3.4: the claim that the transferred structure satisfies the model category axioms relies on the pushout-product axiom being preserved up to a weakening; the proof invokes the weak monoidal Quillen pair but does not explicitly verify that the new unit axiom holds without an extra cofibrancy assumption on the unit of W.
- [§4.1, Example 4.3] §4.1, Example 4.3 (Dold-Kan case): the statement that tensoring is not preserved is illustrated by a counter-example, yet the precise weakened replacement (e.g., a lax tensor or a derived tensor) is only described informally; a formal definition of the weakened structure would make the “which properties are weakened” clause fully rigorous.
minor comments (2)
- [§2] The preliminary section on enriched model categories re-uses standard notation from Hovey and Schwede-Shipley without a short comparison table; adding one would help readers track the change-of-base maps.
- [§3.3] Several diagrams in §3.3 are drawn with overlapping arrows; increasing the spacing or using a different layout would improve legibility.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We respond point-by-point to the major comments and indicate the revisions we will make.
read point-by-point responses
-
Referee: [§3.2, Theorem 3.4] §3.2, Theorem 3.4: the claim that the transferred structure satisfies the model category axioms relies on the pushout-product axiom being preserved up to a weakening; the proof invokes the weak monoidal Quillen pair but does not explicitly verify that the new unit axiom holds without an extra cofibrancy assumption on the unit of W.
Authors: We agree that an explicit verification of the unit axiom would improve the proof. The assumptions on the weak monoidal Quillen pair do ensure that the unit axiom holds in the new enrichment without an additional cofibrancy condition on the unit of W, as the left adjoint preserves the unit up to weak equivalence in the appropriate sense. In the revised version, we will insert a detailed verification of this axiom following the discussion of the pushout-product axiom. revision: yes
-
Referee: [§4.1, Example 4.3] §4.1, Example 4.3 (Dold-Kan case): the statement that tensoring is not preserved is illustrated by a counter-example, yet the precise weakened replacement (e.g., a lax tensor or a derived tensor) is only described informally; a formal definition of the weakened structure would make the “which properties are weakened” clause fully rigorous.
Authors: This is a valid point for rigor. While the counterexample illustrates the failure of strict preservation, we will formalize the weakened structure in the revision by defining it as a lax tensoring (or equivalently, a derived tensoring with respect to the model structure). This definition will be added to Section 4.1 and referenced in the statement of the main theorem to clarify which properties are weakened under the change of base. revision: yes
Circularity Check
No significant circularity in change-of-base theorem
full rationale
The manuscript proves a change-of-base theorem describing preservation and weakening of model-category structures when changing enrichment along a weak monoidal Quillen pair. The input data (enriched/tensored/cotensored model category plus compatible weak monoidal Quillen pair) and the output statements are related by explicit axiom-by-axiom verification rather than by redefinition or statistical fitting. Prior results (e.g., Schwede-Shipley on Dold-Kan) are cited as external support, not as a self-referential chain that forces the central claim. No self-definitional step, fitted-input prediction, or load-bearing self-citation reduces the theorem to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms and definitions of model categories, enriched categories, tensored and cotensored structures, and weak monoidal Quillen pairs.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We prove a change of base theorem that describes which properties are preserved and which are weakened when changing the enrichment of an enriched model category along a weak monoidal Quillen pair.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem. Let F : W ⇄ V : G be a weak monoidal Quillen pair such that the map ε: F(1_W) ≅→ 1_V is an isomorphism. If C is a weak V-model category, then G∗C is a weak W-model category.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.