homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The (right) derived functor of an enriched hom-functor.
We discuss the definition of the derived hom-functor (Def. below) for enriched model categories (recalled as Def. below). The key point is to observe (Lemma below) that the axioms on enriched model categories imply that the ordinary enriched hom-functor is a homotopical functor when its first argument is cofibrant and its second argument is fibrant, so that its right derived functor exists.
$\,$
Let $\mathcal{V}$ be a monoidal model category. Then a $\mathcal{V}$-enriched model category is a category $\mathcal{C}$ equipped with
the structure of $\mathcal{V}$-enriched category, which is also tensored and cotensored over $\mathcal{V}$;
the structure of a model category,
such that these two structures are compatible in the following way:
for every cofibration $X \overset{f}{\to} Y$ and every fibration $A \overset{g}{\to} B$ in $\mathcal{C}$, the induced pullback powering-morphism of hom-objects in $\mathcal{V}$
is a fibration, and is a weak equivalence as soon as one of the two morphisms is a weak equivalence in $\mathcal{C}$.
(in enriched model category the enriched hom-functor out of cofibrant into fibrant is homotopical functor)
Let $\mathcal{C}$ be an enriched model category (Def. ).
If $Y \in \mathcal{C}$ is a cofibrant object, then the enriched hom-functor out of $Y$
preserves fibrations and acyclic fibrations.
If $A \in \mathcal{C}$ is a fibrant object, then the enriched hom-functor into $A$
sends cofibrations and acyclic cofibrations in $\mathcal{C}$ to fibrations and acyclic fibrations, respectively, in $\mathcal{V}$.
In the first case, consider the comparison morphism (1) for $X =\emptyset$ the initial object, in the second case consider it for $B = \ast$ the terminal object.
Since $\mathcal{C}$ is tensored and cotensored over $\mathcal{V}$, it follows (by this Prop that
This means that in the first case the comparison morphism
(1) becomes equal to the top morphism in the following diagram
while in the second case it becomes equal to the left morphism in
Hence the claim follows by the defining condition on the comparison morphism (1) in an enriched model category.
(derived hom-functor of an enriched model category)
Let $\mathcal{C}$ be an enriched model category (Def. ).
By Lemma and by Ken Brown's lemma, the enriched hom-functor has a right derived functor (this Def.) when its first argument is cofibrant and its second argument is fibrant. This is called the derived hom-functor
In the presence of functorial cofibrant resolution $Q$ and fibrant resolution $P$ this is given by the ordinary enriched hom-functor $\mathcal{C}(-,-)$ as
For categories of chain complexes see Ext.
Last revised on May 14, 2019 at 12:34:09. See the history of this page for a list of all contributions to it.