model category, model $\infty$-category
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
An enriched model category is an enriched category $C$ together with the structure of a model category on the underlying category $C_0$ such that both structures are compatible in a reasonable way.
Let $V$ be a monoidal model category.
A $V$-enriched model category is
an V-enriched category $C$
with the structure of a model category on the underlying category $C_0$
such that
(pullback-power axiom) for every cofibration $i \colon A \to B$ and fibration $p \colon X \to Y$ in $C_0$ the pullback powering morphism (dual to the pushout product) with respect to the powering in $V$
is a fibration with respect to the model structure on $V$;
and is an acyclic fibration whenever $i$ or $p$ are acyclic.
The last two conditions here are equivalent to the fact that the copower
is a Quillen bifunctor.
(…)
(monoidal model category is enriched model over itself)
Every monoidal model category is an enriched model category over itself, via the enrichment of its underlying closed monoidal category.
One just needs to see that the pullback-power axiom is implied by (in fact it is equivalent to) the pushout-product axiom. This equivalence is an instance of Joyal-Tierney calculus (see this Prop.):
Writing
$\mathrm{F}$, $\mathrm{C}$, $\mathrm{W}$ for the classes of fibrations, cofibrations, weak equivalences, respectively;
$\mathrm{FW}$, $\mathrm{CW}$ for the classes of acyclic fibrations and acyclic cofibrations, respectively
and
$(-) \,⧄\, (-)$ for the lifting property,
$(-) \Box (-)$ for the pushout product,
$(-)^{\Box (-)}$ for the pullback power,
we have the following logical equivalences.
Here the outer equivalences are by definition of the lifting properties in a model category, while the middle equivalences are by Joyal-Tierney calculus. The statements on the far left constitute the pushout-product axiom, while those on the far right constiture the pullback-power axiom.
Since the model structure on compactly-generated topological spaces as well as the classical model structure on simplicial sets are monoidal model categories, they are, by by Exp. , also enriched modal categories over themselves.
A model category enriched over the classical model structure on simplicial sets is called a simplicial model category.
Textbook account:
See also:
Last revised on October 4, 2021 at 03:24:47. See the history of this page for a list of all contributions to it.