Traditionally, mathematics and physics have been founded on set theory, whose concept of sets is that of “bags of distinguishable points”.
But fundamental physics is governed by the gauge principle. This says that given any two “things”, such as two field histories $x$ and $y$, it is in general wrong to ask whether they are equal or not, instead one has to ask where there is a gauge transformation
between them. In mathematics this is called a homotopy.
This principle applies also to gauge transformations/homotopies themselves, and thus leads to gauge-of-gauge transformations or homotopies of homotopies
and so on to ever higher gauge transformations or higher homotopies:
This shows that what $x$ an $y$ here are elements of is not really a set in the sense of set theory. Instead, such a collection of elements with higher gauge transformations/higher homotopies between them is called a homotopy type.
Hence the theory of homotopy types – homotopy theory – is much like set theory, but with the concept of gauge transformation/homotopy built right into its foundations. Homotopy theory is gauged mathematics.
A classical model for homotopy types are simply topological spaces: Their points represent the elements, the continuous paths between points represent the gauge transformations, and continuous deformations of paths represent higher gauge transformations. A central result of homotopy theory is the proof of the homotopy hypothesis, which says that under this identification homotopy types are equivalent to topological spaces viewed, in turn, up to “weak homotopy equivalence”.
In the special case of a homotopy type with a single element $x$, the gauge transformations necessarily go from $x$ to itself and hence form a group of symmetries of $x$.
This way homotopy theory subsumes group theory.
If there are higher order gauge-of-gauge transformations/homotopies of homotopies between these symmetry group-elements, then one speaks of 2-groups, 3-groups, … n-groups, and eventually of ∞-groups. When homotopy types are represented by topological spaces, then ∞-groups are represented by topological groups.
This way homotopy theory subsumes parts of topological group theory.
Since, generally, there is more than one element in a homotopy type, these are like “groups with several elements”, and as such they are called groupoids (Def. ).
If there are higher order gauge-of-gauge transformations/homotopies of homotopies between the transformations in such a groupoid, one speaks of 2-groupoids, 3-groupoids, … n-groupoids, and eventually of ∞-groupoids. The plain sets are recovered as the special case of 0-groupoids.
Due to the higher orders $n$ appearing here, mathematical structures based not on sets but on homotopy types are also called higher structures.
Hence homotopy types are equivalently ∞-groupoids. This perspective makes explicit that homotopy types are the unification of plain sets with the concept of gauge-symmetry groups.
An efficient way of handling ∞-groupoids is in their explicit guise as Kan complexes (Def. below); these are the non-abelian generalization of the chain complexes used in homological algebra. Indeed, chain homotopy is a special case of the general concept of homotopy, and hence homological algebra forms but a special abelian corner within homotopy theory. Conversely, homotopy theory may be understood as the non-abelian generalization of homological algebra.
Hence, in a self-reflective manner, there are many different but equivalent incarnations of homotopy theory. Below we discuss in turn:
∞-groupoids modeled by topological spaces. This is the classical model of homotopy theory familiar from traditional point-set topology, such as covering space-theory.
∞-groupoids modeled on simplicial sets, whose fibrant objects are the Kan complexes. This simplicial homotopy theory is Quillen equivalent to topological homotopy theory (the “homotopy hypothesis”), which makes explicit that homotopy theory is not really about topological spaces, but about the ∞-groupoids that these represent.
$\,$
Ideally, abstract homotopy theory would simply be a complete replacement of set theory, obtained by removing the assumption of strict equality, relaxing it to gauge equivalence/homotopy. As such, abstract homotopy theory would be part and parcel of the foundations of mathematics themselves, not requiring any further discussion. This ideal perspective is the promise of homotopy type theory and may become full practical reality in the next decades.
Until then, abstract homotopy theory has to be formulated on top of the traditional foundations of mathematics provided by set theory, much like one may have to run a Linux emulator on a Windows machine, if one does happen to be stuck with the latter.
A very convenient and powerful such emulator for homotopy theory within set theory is model category theory, originally due to Quillen 67 and highly developed since. This we introduce here.
The idea is to consider ordinary categories (Def. ) but with the understanding that some of their morphisms
should be homotopy equivalences (Def. ), namely similar to isomorphisms (Def. ), but not necessarily satisfying the two equations defining an actual isomorphism
but intended to satisfy this only with equality relaxed to gauge transformation/homotopy:
Such would-be homotopy equivalences are called weak equivalences (Def. below).
In principle, this information already defines a homotopy theory by a construction called simplicial localization, which turns weak equivalences into actual homotopy equivalences in a suitable way.
However, without further tools this construction is unwieldy. The extra structure of a model category (Def. below) on top of a category with weak equivalences provides a set of tools.
The idea here is to abstract (in Def. below) from the evident concepts in topological homotopy theory of left homotopy (Def. ) and right homotopy (Def. ) between continuous functions: These are provided by continuous functions out of a cylinder space $Cyl(X) = X \times [0,1]$ or into a path space $Path(X) = X^{[0,1]}$, respectively, where in both cases the interval space $[0,1]$ serves to parameterize the relevant gauge transformation/homotopy.
Now a little reflection shows (this was the seminal insight of Quillen 67) that what really matters in this construction of homotopies is that the path space factors the diagonal morphism from a space $X$ to its Cartesian product as
while the cylinder serves to factor the codiagonal morphism as
where in both cases “fibration” means something like well behaved surjection, while “cofibration” means something like satisfying the lifting property (Def. below) against fibrations that are also weak equivalences.
Such factorizations subject to lifting properties is what the definition of model category axiomatizes, in some generality. That this indeed provides a good toolbox for handling homotopy equivalences is shown by the Whitehead theorem in model categories (Lemma below), which exhibits all weak equivalences as actual homotopy equivalences after passage to “good representatives” of objects (fibrant/cofibrant resolutions, Def. below). Accordingly, the first theorem of model category theory (Quillen 67, I.1 theorem 1, reproduced as Theorem below), provides a tractable expression for the hom-sets modulo homotopy equivalence of the underlying category with weak equivalences in terms of actual morphisms out of cofibrant resolutions into fibrant resolutions (Lemma below).
This is then generally how model category-theory serves as a model for homotopy theory: All homotopy-theoretic constructions, such as that of long homotopy fiber sequences (Prop. below), are reflected via constructions of ordinary category theory but applied to suitably resolved objects.
$\,$
Literature (Dwyer-Spalinski 95)
$\,$
A model category is
a category $\mathcal{C}$ (Def. ) with all limits and colimits (Def. );
three sub-classes $W, Fib, Cof \subset Mor(\mathcal{C})$ of its class of morphisms;
such that
the class $W$ makes $\mathcal{C}$ into a category with weak equivalences, def. ;
The pairs $(W \cap Cof\;,\; Fib)$ and $(Cap\;,\; W\cap Fib)$ are both weak factorization systems, def. .
One says:
elements in $W$ are weak equivalences,
elements in $Cof$ are cofibrations,
elements in $Fib$ are fibrations,
elements in $W\cap Cof$ are acyclic cofibrations,
elements in $W \cap Fib$ are acyclic fibrations.
The form of def. is due to (Joyal, def. E.1.2). It implies various other conditions that (Quillen 67) demands explicitly, see prop. and prop. below.
We now dicuss the concept of weak factorization systems (Def. below) appearing in def. .
Let $\mathcal{C}$ be any category. Given a diagram in $\mathcal{C}$ of the form
then an extension of the morphism $f$ along the morphism $p$ is a completion to a commuting diagram of the form
Dually, given a diagram of the form
then a lift of $f$ through $p$ is a completion to a commuting diagram of the form
Combining these cases: given a commuting square
then a lifting in the diagram is a completion to a commuting diagram of the form
Given a sub-class of morphisms $K \subset Mor(\mathcal{C})$, then
dually:
A weak factorization system (WFS) on a category $\mathcal{C}$ is a pair $(Proj,Inj)$ of classes of morphisms of $\mathcal{C}$ such that
Every morphism $f \colon X\to Y$ of $\mathcal{C}$ may be factored as the composition of a morphism in $Proj$ followed by one in $Inj$
The classes are closed under having the lifting property, def. , against each other:
$Proj$ is precisely the class of morphisms having the left lifting property against every morphisms in $Inj$;
$Inj$ is precisely the class of morphisms having the right lifting property against every morphisms in $Proj$.
For $\mathcal{C}$ a category, a functorial factorization of the morphisms in $\mathcal{C}$ is a functor
which is a section of the composition functor $d_1 \;\colon \;\mathcal{C}^{\Delta[2]}\to \mathcal{C}^{\Delta[1]}$.
In def. we are using the following standard notation, see at simplex category and at nerve of a category:
Write $[1] = \{0 \to 1\}$ and $[2] = \{0 \to 1 \to 2\}$ for the ordinal numbers, regarded as posets and hence as categories. The arrow category $Arr(\mathcal{C})$ is equivalently the functor category $\mathcal{C}^{\Delta[1]} \coloneqq Funct(\Delta[1], \mathcal{C})$, while $\mathcal{C}^{\Delta[2]}\coloneqq Funct(\Delta[2], \mathcal{C})$ has as objects pairs of composable morphisms in $\mathcal{C}$. There are three injective functors $\delta_i \colon [1] \rightarrow [2]$, where $\delta_i$ omits the index $i$ in its image. By precomposition, this induces functors $d_i \colon \mathcal{C}^{\Delta[2]} \longrightarrow \mathcal{C}^{\Delta[1]}$. Here
$d_1$ sends a pair of composable morphisms to their composition;
$d_2$ sends a pair of composable morphisms to the first morphisms;
$d_0$ sends a pair of composable morphisms to the second morphisms.
A weak factorization system, def. , is called a functorial weak factorization system if the factorization of morphisms may be chosen to be a functorial factorization $fact$, def. , i.e. such that $d_2 \circ fact$ lands in $Proj$ and $d_0\circ fact$ in $Inj$.
Not all weak factorization systems are functorial, def. , although most (including those produced by the small object argument (prop. below), with due care) are.
Let $\mathcal{C}$ be a category and let $K\subset Mor(\mathcal{C})$ be a class of morphisms. Write $K Proj$ and $K Inj$, respectively, for the sub-classes of $K$-projective morphisms and of $K$-injective morphisms, def. . Then:
Both classes contain the class of isomorphism of $\mathcal{C}$.
Both classes are closed under composition in $\mathcal{C}$.
$K Proj$ is also closed under transfinite composition.
Both classes are closed under forming retracts in the arrow category $\mathcal{C}^{\Delta[1]}$ (see remark ).
$K Proj$ is closed under forming pushouts of morphisms in $\mathcal{C}$ (“cobase change”).
$K Inj$ is closed under forming pullback of morphisms in $\mathcal{C}$ (“base change”).
$K Proj$ is closed under forming coproducts in $\mathcal{C}^{\Delta[1]}$.
$K Inj$ is closed under forming products in $\mathcal{C}^{\Delta[1]}$.
We go through each item in turn.
containing isomorphisms
Given a commuting square
with the left morphism an isomorphism, then a lift is given by using the inverse of this isomorphism ${}^{{f \circ i^{-1}}}\nearrow$. Hence in particular there is a lift when $p \in K$ and so $i \in K Proj$. The other case is formally dual.
closure under composition
Given a commuting square of the form
consider its pasting decomposition as
Now the bottom commuting square has a lift, by assumption. This yields another pasting decomposition
and now the top commuting square has a lift by assumption. This is now equivalently a lift in the total diagram, showing that $p_1\circ p_1$ has the right lifting property against $K$ and is hence in $K Inj$. The case of composing two morphisms in $K Proj$ is formally dual. From this the closure of $K Proj$ under transfinite composition follows since the latter is given by colimits of sequential composition and successive lifts against the underlying sequence as above constitutes a cocone, whence the extension of the lift to the colimit follows by its universal property.
closure under retracts
Let $j$ be the retract of an $i \in K Proj$, i.e. let there be a commuting diagram of the form.
Then for
a commuting square, it is equivalent to its pasting composite with that retract diagram
Here the pasting composite of the two squares on the right has a lift, by assumption:
By composition, this is also a lift in the total outer rectangle, hence in the original square. Hence $j$ has the left lifting property against all $p \in K$ and hence is in $K Proj$. The other case is formally dual.
closure under pushout and pullback
Let $p \in K Inj$ and and let
be a pullback diagram in $\mathcal{C}$. We need to show that $f^* p$ has the right lifting property with respect to all $i \in K$. So let
be a commuting square. We need to construct a diagonal lift of that square. To that end, first consider the pasting composite with the pullback square from above to obtain the commuting diagram
By the right lifting property of $p$, there is a diagonal lift of the total outer diagram
By the universal property of the pullback this gives rise to the lift $\hat g$ in
In order for $\hat g$ to qualify as the intended lift of the total diagram, it remains to show that
commutes. To do so we notice that we obtain two cones with tip $A$:
one is given by the morphisms
with universal morphism into the pullback being
the other by
with universal morphism into the pullback being
The commutativity of the diagrams that we have established so far shows that the first and second morphisms here equal each other, respectively. By the fact that the universal morphism into a pullback diagram is unique this implies the required identity of morphisms.
The other case is formally dual.
closure under (co-)products
Let $\{(A_s \overset{i_s}{\to} B_s) \in K Proj\}_{s \in S}$ be a set of elements of $K Proj$. Since colimits in the presheaf category $\mathcal{C}^{\Delta[1]}$ are computed componentwise, their coproduct in this arrow category is the universal morphism out of the coproduct of objects $\underset{s \in S}{\coprod} A_s$ induced via its universal property by the set of morphisms $i_s$:
Now let
be a commuting square. This is in particular a cocone under the coproduct of objects, hence by the universal property of the coproduct, this is equivalent to a set of commuting diagrams
By assumption, each of these has a lift $\ell_s$. The collection of these lifts
is now itself a compatible cocone, and so once more by the universal property of the coproduct, this is equivalent to a lift $(\ell_s)_{s\in S}$ in the original square
This shows that the coproduct of the $i_s$ has the left lifting property against all $f\in K$ and is hence in $K Proj$. The other case is formally dual.
An immediate consequence of prop. is this:
Let $\mathcal{C}$ be a category with all small colimits, and let $K\subset Mor(\mathcal{C})$ be a sub-class of its morphisms. Then every $K$-injective morphism, def. , has the right lifting property, def. , against all $K$-relative cell complexes, def. and their retracts, remark .
By a retract of a morphism $X \stackrel{f}{\longrightarrow} Y$ in some category $\mathcal{C}$ we mean a retract of $f$ as an object in the arrow category $\mathcal{C}^{\Delta[1]}$, hence a morphism $A \stackrel{g}{\longrightarrow} B$ such that in $\mathcal{C}^{\Delta[1]}$ there is a factorization of the identity on $g$ through $f$
This means equivalently that in $\mathcal{C}$ there is a commuting diagram of the form
In every category $C$ the class of isomorphisms is preserved under retracts in the sense of remark .
For
a retract diagram and $X \overset{f}{\to} Y$ an isomorphism, the inverse to $A \overset{g}{\to} B$ is given by the composite
More generally:
Given a model category in the sense of def. , then its class of weak equivalences is closed under forming retracts (in the arrow category, see remark ).
Let
be a commuting diagram in the given model category, with $w \in W$ a weak equivalence. We need to show that then also $f \in W$.
First consider the case that $f \in Fib$.
In this case, factor $w$ as a cofibration followed by an acyclic fibration. Since $w \in W$ and by two-out-of-three (def. ) this is even a factorization through an acyclic cofibration followed by an acyclic fibration. Hence we obtain a commuting diagram of the following form:
where $s$ is uniquely defined and where $t$ is any lift of the top middle vertical acyclic cofibration against $f$. This now exhibits $f$ as a retract of an acyclic fibration. These are closed under retract by prop. .
Now consider the general case. Factor $f$ as an acyclic cofibration followed by a fibration and form the pushout in the top left square of the following diagram
where the other three squares are induced by the universal property of the pushout, as is the identification of the middle horizontal composite as the identity on $A'$. Since acyclic cofibrations are closed under forming pushouts by prop. , the top middle vertical morphism is now an acyclic fibration, and hence by assumption and by two-out-of-three so is the middle bottom vertical morphism.
Thus the previous case now gives that the bottom left vertical morphism is a weak equivalence, and hence the total left vertical composite is.
Consider a composite morphism
If $f$ has the left lifting property against $p$, then $f$ is a retract of $i$.
If $f$ has the right lifting property against $i$, then $f$ is a retract of $p$.
We discuss the first statement, the second is formally dual.
Write the factorization of $f$ as a commuting square of the form
By the assumed lifting property of $f$ against $p$ there exists a diagonal filler $g$ making a commuting diagram of the form
By rearranging this diagram a little, it is equivalent to
Completing this to the right, this yields a diagram exhibiting the required retract according to remark :
Small object argument
Given a set $C \subset Mor(\mathcal{C})$ of morphisms in some category $\mathcal{C}$, a natural question is how to factor any given morphism $f\colon X \longrightarrow Y$ through a relative $C$-cell complex, def. , followed by a $C$-injective morphism, def.
A first approximation to such a factorization turns out to be given simply by forming $\hat X = X_1$ by attaching all possible $C$-cells to $X$. Namely let
be the set of all ways to find a $C$-cell attachment in $f$, and consider the pushout $\hat X$ of the coproduct of morphisms in $C$ over all these:
This gets already close to producing the intended factorization:
First of all the resulting map $X \to X_1$ is a $C$-relative cell complex, by construction.
Second, by the fact that the coproduct is over all commuting squres to $f$, the morphism $f$ itself makes a commuting diagram
and hence the universal property of the colimit means that $f$ is indeed factored through that $C$-cell complex $X_1$; we may suggestively arrange that factorizing diagram like so:
This shows that, finally, the colimiting co-cone map – the one that now appears diagonally – almost exhibits the desired right lifting of $X_1 \to Y$ against the $c\in C$. The failure of that to hold on the nose is only the fact that a horizontal map in the middle of the above diagram is missing: the diagonal map obtained above lifts not all commuting diagrams of $c\in C$ into $f$, but only those where the top morphism $dom(c) \to X_1$ factors through $X \to X_1$.
The idea of the small object argument now is to fix this only remaining problem by iterating the construction: next factor $X_1 \to Y$ in the same way into
and so forth. Since relative $C$-cell complexes are closed under composition, at stage $n$ the resulting $X \longrightarrow X_n$ is still a $C$-cell complex, getting bigger and bigger. But accordingly, the failure of the accompanying $X_n \longrightarrow Y$ to be a $C$-injective morphism becomes smaller and smaller, for it now lifts against all diagrams where $dom(c) \longrightarrow X_n$ factors through $X_{n-1}\longrightarrow X_n$, which intuitively is less and less of a condition as the $X_{n-1}$ grow larger and larger.
The concept of small object is just what makes this intuition precise and finishes the small object argument. For the present purpose we just need the following simple version:
For $\mathcal{C}$ a category and $C \subset Mor(\mathcal{C})$ a sub-set of its morphisms, say that these have small domains if there is an ordinal $\alpha$ (def. ) such that for every $c\in C$ and for every $C$-relative cell complex given by a transfinite composition (def. )
every morphism $dom(c)\longrightarrow \hat X$ factors through a stage $X_\beta \to \hat X$ of order $\beta \lt \alpha$:
The above discussion proves the following:
(small object argument)
Let $\mathcal{C}$ be a locally small category with all small colimits. If a set $C\subset Mor(\mathcal{C})$ of morphisms has all small domains in the sense of def. , then every morphism $f\colon X\longrightarrow$ in $\mathcal{C}$ factors through a $C$-relative cell complex, def. , followed by a $C$-injective morphism, def.
We discuss how the concept of homotopy is abstractly realized in model categories, def. .
Let $\mathcal{C}$ be a model category, def. , and $X \in \mathcal{C}$ an object.
where $X\to Path(X)$ is a weak equivalence and $Path(X) \to X \times X$ is a fibration.
where $Cyl(X) \to X$ is a weak equivalence. and $X \sqcup X \to Cyl(X)$ is a cofibration.
For every object $X \in \mathcal{C}$ in a model category, a cylinder object and a path space object according to def. exist: the factorization axioms guarantee that there exists
a factorization of the codiagonal as
a factorization of the diagonal as
The cylinder and path space objects obtained this way are actually better than required by def. : in addition to $Cyl(X)\to X$ being just a weak equivalence, for these this is actually an acyclic fibration, and dually in addition to $X\to Path(X)$ being a weak equivalence, for these it is actually an acyclic cofibrations.
Some authors call cylinder/path-space objects with this extra property “very good” cylinder/path-space objects, respectively.
One may also consider dropping a condition in def. : what mainly matters is the weak equivalence, hence some authors take cylinder/path-space objects to be defined as in def. but without the condition that $X \sqcup X\to Cyl(X)$ is a cofibration and without the condition that $Path(X) \to X$ is a fibration. Such authors would then refer to the concept in def. as “good” cylinder/path-space objects.
The terminology in def. follows the original (Quillen 67, I.1 def. 4). With the induced concept of left/right homotopy below in def. , this admits a quick derivation of the key facts in the following, as we spell out below.
Let $\mathcal{C}$ be a model category. If $X \in \mathcal{C}$ is cofibrant, then for every cylinder object $Cyl(X)$ of $X$, def. , not only is $(i_0,i_1) \colon X \sqcup X \to X$ a cofibration, but each
is an acyclic cofibration separately.
Dually, if $X \in \mathcal{C}$ is fibrant, then for every path space object $Path(X)$ of $X$, def. , not only is $(p_0,p_1) \colon Path(X)\to X \times X$ a cofibration, but each
is an acyclic fibration separately.
We discuss the case of the path space object. The other case is formally dual.
First, that the component maps are weak equivalences follows generally: by definition they have a right inverse $Path(X) \to X$ and so this follows by two-out-of-three (def. ).
But if $X$ is fibrant, then also the two projection maps out of the product $X \times X \to X$ are fibrations, because they are both pullbacks of the fibration $X \to \ast$
hence $p_i \colon Path(X)\to X \times X \to X$ is the composite of two fibrations, and hence itself a fibration, by prop. .
Path space objects are very non-unique as objects up to isomorphism:
If $X \in \mathcal{C}$ is a fibrant object in a model category, def. , and for $Path_1(X)$ and $Path_2(X)$ two path space objects for $X$, def. , then the fiber product $Path_1(X) \times_X Path_2(X)$ is another path space object for $X$: the pullback square
gives that the induced projection is again a fibration. Moreover, using lemma and two-out-of-three (def. ) gives that $X \to Path_1(X) \times_X Path_2(X)$ is a weak equivalence.
For the case of the canonical topological path space objects of def , with $Path_1(X) = Path_2(X) = X^I = X^{[0,1]}$ then this new path space object is $X^{I \vee I} = X^{[0,2]}$, the mapping space out of the standard interval of length 2 instead of length 1.
(abstract left homotopy and abstract right homotopy
Let $f,g \colon X \longrightarrow Y$ be two parallel morphisms in a model category.
Let $f,g \colon X \to Y$ be two parallel morphisms in a model category.
Let $X$ be cofibrant. If there is a left homotopy $f \Rightarrow_L g$ then there is also a right homotopy $f \Rightarrow_R g$ (def. ) with respect to any chosen path space object.
Let $X$ be fibrant. If there is a right homotopy $f \Rightarrow_R g$ then there is also a left homotopy $f \Rightarrow_L g$ with respect to any chosen cylinder object.
In particular if $X$ is cofibrant and $Y$ is fibrant, then by going back and forth it follows that every left homotopy is exhibited by every cylinder object, and every right homotopy is exhibited by every path space object.
We discuss the first case, the second is formally dual. Let $\eta \colon Cyl(X) \longrightarrow Y$ be the given left homotopy. Lemma implies that we have a lift $h$ in the following commuting diagram
where on the right we have the chosen path space object. Now the composite $\tilde \eta \coloneqq h \circ i_1$ is a right homotopy as required:
For $X$ a cofibrant object in a model category and $Y$ a fibrant object, then the relations of left homotopy $f \Rightarrow_L g$ and of right homotopy $f \Rightarrow_R g$ (def. ) on the hom set $Hom(X,Y)$ coincide and are both equivalence relations.
That both relations coincide under the (co-)fibrancy assumption follows directly from lemma .
The symmetry and reflexivity of the relation is obvious.
That right homotopy (hence also left homotopy) with domain $X$ is a transitive relation follows from using example to compose path space objects.
We discuss the construction that takes a model category, def. , and then universally forces all its weak equivalences into actual isomorphisms.
(homotopy category of a model category)
Let $\mathcal{C}$ be a model category, def. . Write $Ho(\mathcal{C})$ for the category whose
objects are those objects of $\mathcal{C}$ which are both fibrant and cofibrant;
morphisms are the homotopy classes of morphisms of $\mathcal{C}$, hence the equivalence classes of morphism under the equivalence relation of prop. ;
and whose composition operation is given on representatives by composition in $\mathcal{C}$.
This is, up to equivalence of categories, the homotopy category of the model category $\mathcal{C}$.
Def. is well defined, in that composition of morphisms between fibrant-cofibrant objects in $\mathcal{C}$ indeed passes to homotopy classes.
Fix any morphism $X \overset{f}{\to} Y$ between fibrant-cofibrant objects. Then for precomposition
to be well defined, we need that with $(g\sim h)\;\colon\; Y \to Z$ also $(f g \sim f h)\;\colon\; X \to Z$. But by prop we may take the homotopy $\sim$ to be exhibited by a right homotopy $\eta \colon Y \to Path(Z)$, for which case the statement is evident from this diagram:
For postcomposition we may choose to exhibit homotopy by left homotopy and argue dually.
We now spell out that def. indeed satisfies the universal property that defines the localization of a category with weak equivalences at its weak equivalences.
(Whitehead theorem in model categories)
Let $\mathcal{C}$ be a model category. A weak equivalence between two objects which are both fibrant and cofibrant is a homotopy equivalence (1).
By the factorization axioms in the model category $\mathcal{C}$ and by two-out-of-three (def. ), every weak equivalence $f\colon X \longrightarrow Y$ factors through an object $Z$ as an acyclic cofibration followed by an acyclic fibration. In particular it follows that with $X$ and $Y$ both fibrant and cofibrant, so is $Z$, and hence it is sufficient to prove that acyclic (co-)fibrations between such objects are homotopy equivalences.
So let $f \colon X \longrightarrow Y$ be an acyclic fibration between fibrant-cofibrant objects, the case of acyclic cofibrations is formally dual. Then in fact it has a genuine right inverse given by a lift $f^{-1}$ in the diagram
To see that $f^{-1}$ is also a left inverse up to left homotopy, let $Cyl(X)$ be any cylinder object on $X$ (def. ), hence a factorization of the codiagonal on $X$ as a cofibration followed by a an acyclic fibration
and consider the commuting square
which commutes due to $f^{-1}$ being a genuine right inverse of $f$. By construction, this commuting square now admits a lift $\eta$, and that constitutes a left homotopy $\eta \colon f^{-1}\circ f \Rightarrow_L id$.
(fibrant resolution and cofibrant resolution)
Given a model category $\mathcal{C}$, consider a choice for each object $X \in \mathcal{C}$ of
a factorization
of the initial morphism (Def. ), such that when $X$ is already cofibrant then $p_X = id_X$;
a factorization
of the terminal morphism (Def. ), such that when $X$ is already fibrant then $j_X = id_X$.
Write then
for the functor to the homotopy category, def. , which sends an object $X$ to the object $P Q X$ and sends a morphism $f \colon X \longrightarrow Y$ to the homotopy class of the result of first lifting in
and then lifting (here: extending) in
First of all, the object $P Q X$ is indeed both fibrant and cofibrant (as well as related by a zig-zag of weak equivalences to $X$):
Now to see that the image on morphisms is well defined. First observe that any two choices $(Q f)_{i}$ of the first lift in the definition are left homotopic to each other, exhibited by lifting in
Hence also the composites $j_{Q Y}\circ (Q_f)_i$ are left homotopic to each other, and since their domain is cofibrant, then by lemma they are also right homotopic by a right homotopy $\kappa$. This implies finally, by lifting in
that also $P (Q f)_1$ and $P (Q f)_2$ are right homotopic, hence that indeed $P Q f$ represents a well-defined homotopy class.
Finally to see that the assignment is indeed functorial, observe that the commutativity of the lifting diagrams for $Q f$ and $P Q f$ imply that also the following diagram commutes
Now from the pasting composite
one sees that $(P Q g)\circ (P Q f)$ is a lift of $g \circ f$ and hence the same argument as above gives that it is homotopic to the chosen $P Q(g \circ f)$.
For the following, recall the concept of natural isomorphism between functors: for $F, G \;\colon\; \mathcal{C} \longrightarrow \mathcal{D}$ two functors, then a natural transformation $\eta \colon F \Rightarrow G$ is for each object $c \in Obj(\mathcal{C})$ a morphism $\eta_c \colon F(c) \longrightarrow G(c)$ in $\mathcal{D}$, such that for each morphism $f \colon c_1 \to c_2$ in $\mathcal{C}$ the following is a commuting square:
Such $\eta$ is called a natural isomorphism if its $\eta_c$ are isomorphisms for all objects $c$.
(localization of a category category with weak equivalences)
For $\mathcal{C}$ a category with weak equivalences, its localization at the weak equivalences is, if it exists,
a category denoted $\mathcal{C}[W^{-1}]$
a functor
such that
$\gamma$ sends weak equivalences to isomorphisms;
$\gamma$ is universal with this property, in that:
for $F \colon \mathcal{C} \longrightarrow D$ any functor out of $\mathcal{C}$ into any category $D$, such that $F$ takes weak equivalences to isomorphisms, it factors through $\gamma$ up to a natural isomorphism $\rho$
and this factorization is unique up to unique isomorphism, in that for $(\tilde F_1, \rho_1)$ and $(\tilde F_2, \rho_2)$ two such factorizations, then there is a unique natural isomorphism $\kappa \colon \tilde F_1 \Rightarrow \tilde F_2$ making the evident diagram of natural isomorphisms commute.
(convenient localization of model categories)
For $\mathcal{C}$ a model category, the functor $\gamma_{P,Q}$ in def. (for any choice of $P$ and $Q$) exhibits $Ho(\mathcal{C})$ as indeed being the localization of the underlying category with weak equivalences at its weak equivalences, in the sense of def. :
First, to see that that $\gamma_{P,Q}$ indeed takes weak equivalences to isomorphisms: By two-out-of-three (def. ) applied to the commuting diagrams shown in the proof of lemma , the morphism $P Q f$ is a weak equivalence if $f$ is:
With this the “Whitehead theorem for model categories”, lemma , implies that $P Q f$ represents an isomorphism in $Ho(\mathcal{C})$.
Now let $F \colon \mathcal{C}\longrightarrow D$ be any functor that sends weak equivalences to isomorphisms. We need to show that it factors as
uniquely up to unique natural isomorphism. Now by construction of $P$ and $Q$ in def. , $\gamma_{P,Q}$ is the identity on the full subcategory of fibrant-cofibrant objects. It follows that if $\tilde F$ exists at all, it must satisfy for all $X \stackrel{f}{\to} Y$ with $X$ and $Y$ both fibrant and cofibrant that
(hence in particular $\tilde F(\gamma_{P,Q}(f)) = F(P Q f)$).
But by def. that already fixes $\tilde F$ on all of $Ho(\mathcal{C})$, up to unique natural isomorphism. Hence it only remains to check that with this definition of $\tilde F$ there exists any natural isomorphism $\rho$ filling the diagram above.
To that end, apply $F$ to the above commuting diagram to obtain
Here now all horizontal morphisms are isomorphisms, by assumption on $F$. It follows that defining $\rho_X \coloneqq F(j_{Q X}) \circ F(p_X)^{-1}$ makes the required natural isomorphism:
Due to theorem we may suppress the choices of cofibrant $Q$ and fibrant replacement $P$ in def. and just speak of the localization functor
up to natural isomorphism.
In general, the localization $\mathcal{C}[W^{-1}]$ of a category with weak equivalences $(\mathcal{C},W)$ (def. ) may invert more morphisms than just those in $W$. However, if the category admits the structure of a model category $(\mathcal{C},W,Cof,Fib)$, then its localization precisely only inverts the weak equivalences:
(localization of model categories inverts precisely the weak equivalences)
Let $\mathcal{C}$ be a model category (def. ) and let $\gamma \;\colon\; \mathcal{C} \longrightarrow Ho(\mathcal{C})$ be its localization functor (def. , theorem ). Then a morphism $f$ in $\mathcal{C}$ is a weak equivalence precisely if $\gamma(f)$ is an isomorphism in $Ho(\mathcal{C})$.
(e.g. Goerss-Jardine 96, II, prop 1.14)
While the construction of the homotopy category in def. combines the restriction to good (fibrant/cofibrant) objects with the passage to homotopy classes of morphisms, it is often useful to consider intermediate stages:
Given a model category $\mathcal{C}$, write
for the system of full subcategory inclusions of:
the category of fibrant objects $\mathcal{C}_f$
the category of cofibrant objects $\mathcal{C}_c$,
the category of fibrant-cofibrant objects $\mathcal{C}_{fc}$,
all regarded a categories with weak equivalences (def. ), via the weak equivalences inherited from $\mathcal{C}$, which we write $(\mathcal{C}_f, W_f)$, $(\mathcal{C}_c, W_c)$ and $(\mathcal{C}_{f c}, W_{f c})$.
(categories of fibrant objects and cofibration categories)
Of course the subcategories in def. inherit more structure than just that of categories with weak equivalences from $\mathcal{C}$. $\mathcal{C}_f$ and $\mathcal{C}_c$ each inherit “half” of the factorization axioms. One says that $\mathcal{C}_f$ has the structure of a “fibration category” called a “Brown-category of fibrant objects”, while $\mathcal{C}_c$ has the structure of a “cofibration category”.
We discuss properties of these categories of (co-)fibrant objects below in Homotopy fiber sequences.
The proof of theorem immediately implies the following:
For $\mathcal{C}$ a model category, the restriction of the localization functor $\gamma\;\colon\; \mathcal{C} \longrightarrow Ho(\mathcal{C})$ from def. (using remark ) to any of the sub-categories with weak equivalences of def.
exhibits $Ho(\mathcal{C})$ equivalently as the localization also of these subcategories with weak equivalences, at their weak equivalences. In particular there are equivalences of categories
The following says that for computing the hom-sets in the homotopy category, even a mixed variant of the above will do; it is sufficient that the domain is cofibrant and the codomain is fibrant:
(hom-sets of homotopy category via mapping cofibrant resolutions into fibrant resolutions)
For $X, Y \in \mathcal{C}$ with $X$ cofibrant and $Y$ fibrant, and for $P, Q$ fibrant/cofibrant replacement functors as in def. , then the morphism
(on homotopy classes of morphisms, well defined by prop. ) is a natural bijection.
We may factor the morphism in question as the composite
This shows that it is sufficient to see that for $X$ cofibrant and $Y$ fibrant, then
is an isomorphism, and dually that
is an isomorphism. We discuss this for the former; the second is formally dual:
First, that $Hom_{\mathcal{C}}(id_X, p_Y)$ is surjective is the lifting property in
which says that any morphism $f \colon X \to Y$ comes from a morphism $\hat f \colon X \to Q Y$ under postcomposition with $Q Y \overset{p_Y}{\to} Y$.
Second, that $Hom_{\mathcal{C}}(id_X, p_Y)$ is injective is the lifting property in
which says that if two morphisms $f, g \colon X \to Q Y$ become homotopic after postcomposition with $p_Y \colon Q X \to Y$, then they were already homotopic before.
We record the following fact which will be used in part 1.1 (here):
Let $\mathcal{C}$ be a model category (def. ). Then every commuting square in its homotopy category $Ho(C)$ (def. ) is, up to isomorphism of squares, in the image of the localization functor $\mathcal{C} \longrightarrow Ho(\mathcal{C})$ of a commuting square in $\mathcal{C}$ (i.e.: not just commuting up to homotopy).
Let
be a commuting square in the homotopy category. Writing the same symbols for fibrant-cofibrant objects in $\mathcal{C}$ and for morphisms in $\mathcal{C}$ representing these, then this means that in $\mathcal{C}$ there is a left homotopy of the form
Consider the factorization of the top square here through the mapping cylinder of $f$
This exhibits the composite $A \overset{i_0}{\to} Cyl(A) \to Cyl(f)$ as an alternative representative of $f$ in $Ho(\mathcal{C})$, and $Cyl(f) \to B'$ as an alternative representative for $b$, and the commuting square
as an alternative representative of the given commuting square in $Ho(\mathcal{C})$.
For $\mathcal{C}$ and $\mathcal{D}$ two categories with weak equivalences, def. , then a functor $F \colon \mathcal{C}\longrightarrow \mathcal{D}$ is called a homotopical functor if it sends weak equivalences to weak equivalences.
Given a homotopical functor $F \colon \mathcal{C} \longrightarrow \mathcal{D}$ (def. ) between categories with weak equivalences whose homotopy categories $Ho(\mathcal{C})$ and $Ho(\mathcal{D})$ exist (def. ), then its (“total”) derived functor is the functor $Ho(F)$ between these homotopy categories which is induced uniquely, up to unique isomorphism, by their universal property (def. ):
While many functors of interest between model categories are not homotopical in the sense of def. , many become homotopical after restriction to the full subcategories $\mathcal{C}_f$ of fibrant objects or $\mathcal{C}_c$ of cofibrant objects, def. . By corollary this is just as good for the purpose of homotopy theory.
Therefore one considers the following generalization of def. :
(left and right derived functors)
Consider a functor $F \colon \mathcal{C} \longrightarrow \mathcal{D}$ out of a model category $\mathcal{C}$ (def. ) into a category with weak equivalences $\mathcal{D}$ (def. ).
If the restriction of $F$ to the full subcategory $\mathcal{C}_f$ of fibrant object becomes a homotopical functor (def. ), then the derived functor of that restriction, according to def. , is called the right derived functor of $F$ and denoted by $\mathbb{R}F$:
If the restriction of $F$ to the full subcategory $\mathcal{C}_c$ of cofibrant object becomes a homotopical functor (def. ), then the derived functor of that restriction, according to def. , is called the left derived functor of $F$ and denoted by $\mathbb{L}F$:
The key fact that makes def. practically relevant is the following:
Let $\mathcal{C}$ be a model category with full subcategories $\mathcal{C}_f, \mathcal{C}_c$ of fibrant objects and of cofibrant objects respectively (def. ). Let $\mathcal{D}$ be a category with weak equivalences.
A functor out of the category of fibrant objects
is a homotopical functor, def. , already if it sends acyclic fibrations to weak equivalences.
A functor out of the category of cofibrant objects
is a homotopical functor, def. , already if it sends acyclic cofibrations to weak equivalences.
The following proof refers to the factorization lemma, whose full statement and proof we postpone to further below (lemma ).
We discuss the case of a functor on a category of fibrant objects $\mathcal{C}_f$, def. . The other case is formally dual.
Let $f \colon X \longrightarrow Y$ be a weak equivalence in $\mathcal{C}_f$. Choose a path space object $Path(X)$ (def. ) and consider the diagram
where the square is a pullback and $Path(f)$ on the top left is our notation for the universal cone object. (Below we discuss this in more detail, it is the mapping cocone of $f$, def. ).
Here:
$Path(f) \to X$ is an acyclic fibration because it is the pullback of $p_1$.
$p_1^\ast f$ is a weak equivalence, because the factorization lemma states that the composite vertical morphism factors $f$ through a weak equivalence, hence if $f$ is a weak equivalence, then $p_1^\ast f$ is by two-out-of-three (def. ).
Now apply the functor $F$ to this diagram and use the assumption that it sends acyclic fibrations to weak equivalences to obtain
But the factorization lemma , in addition says that the vertical composite $p_0 \circ p_1^\ast f$ is a fibration, hence an acyclic fibration by the above. Therefore also $F(p_0 \circ p_1^\ast f)$ is a weak equivalence. Now the claim that also $F(f)$ is a weak equivalence follows with applying two-out-of-three (def. ) twice.
Let $\mathcal{C}, \mathcal{D}$ be model categories and consider $F \colon \mathcal{C}\longrightarrow \mathcal{D}$ a functor. Then:
If $F$ preserves cofibrant objects and acyclic cofibrations between these, then its left derived functor (def. ) $\mathbb{L}F$ exists, fitting into a diagram
If $F$ preserves fibrant objects and acyclic fibrants between these, then its right derived functor (def. ) $\mathbb{R}F$ exists, fitting into a diagram
(construction of left/right derived functors)
Let $F \;\colon\; \mathcal{C} \longrightarrow \mathcal{D}$ be a functor between two model categories (def. ).
If $F$ preserves fibrant objects and weak equivalences between fibrant objects, then the total right derived functor $\mathbb{R}F \coloneqq \mathbb{R}(\gamma_{\mathcal{D}}\circ F)$ (def. ) in
is given, up to isomorphism, on any object $X\in \mathcal{C} \overset{\gamma_{\mathcal{C}}}{\longrightarrow} Ho(\mathcal{C})$ by appying $F$ to a fibrant replacement $P X$ of $X$ and then forming a cofibrant replacement $Q(F(P X))$ of the result:
If $F$ preserves cofibrant objects and weak equivalences between cofibrant objects, then the total left derived functor $\mathbb{L}F \coloneqq \mathbb{L}(\gamma_{\mathcal{D}}\circ F)$ (def. ) in
is given, up to isomorphism, on any object $X\in \mathcal{C} \overset{\gamma_{\mathcal{C}}}{\longrightarrow} Ho(\mathcal{C})$ by appying $F$ to a cofibrant replacement $Q X$ of $X$ and then forming a fibrant replacement $P(F(Q X))$ of the result:
We discuss the first case, the second is formally dual. By the proof of theorem we have
But since $F$ is a homotopical functor on fibrant objects, the cofibrant replacement morphism $F(Q(P(X)))\to F(P(X))$ is a weak equivalence in $\mathcal{D}$, hence becomes an isomorphism under $\gamma_{\mathcal{D}}$. Therefore
Now since $F$ is assumed to preserve fibrant objects, $F(P(X))$ is fibrant in $\mathcal{D}$, and hence $\gamma_{\mathcal{D}}$ acts on it (only) by cofibrant replacement.
In practice it turns out to be useful to arrange for the assumptions in corollary to be satisfied by pairs of adjoint functors (Def. ). Recall that this is a pair of functors $L$ and $R$ going back and forth between two categories
such that there is a natural bijection between hom-sets with $L$ on the left and those with $R$ on the right (eq:HomIsomorphismForAdjointFunctors):
for all objects $d\in \mathcal{D}$ and $c \in \mathcal{C}$. This being natural (Def. ) means that $\phi \colon Hom_{\mathcal{D}}(L(-),-) \Rightarrow Hom_{\mathcal{C}}(-, R(-))$ is a natural transformation, hence that for all morphisms $g \colon d_2 \to d_1$ and $f \colon c_1 \to c_2$ the following is a commuting square:
We write $(L \dashv R)$ to indicate such an adjunction and call $L$ the left adjoint and $R$ the right adjoint of the adjoint pair.
The archetypical example of a pair of adjoint functors is that consisting of forming Cartesian products $Y \times (-)$ and forming mapping spaces $(-)^Y$, as in the category of compactly generated topological spaces of def. .
If $f \colon L(d) \to c$ is any morphism, then the image $\phi_{d,c}(f) \colon d \to R(c)$ is called its adjunct, and conversely. The fact that adjuncts are in bijection is also expressed by the notation
For an object $d\in \mathcal{D}$, the adjunct of the identity on $L d$ is called the adjunction unit $\eta_d \;\colon\; d \longrightarrow R L d$.
For an object $c \in \mathcal{C}$, the adjunct of the identity on $R c$ is called the adjunction counit $\epsilon_c \;\colon\; L R c \longrightarrow c$.
Adjunction units and counits turn out to encode the adjuncts of all other morphisms by the formulas
$\widetilde{(L d\overset{f}{\to}c)} = (d\overset{\eta}{\to} R L d \overset{R f}{\to} R c)$
$\widetilde{(d\overset{g}{\to} R c)} = (L d \overset{L g}{\to} L R c \overset{\epsilon}{\to} c)$.
Let $\mathcal{C}, \mathcal{D}$ be model categories. A pair of adjoint functors (Def. ) between them
is called a Quillen adjunction, to be denoted
and $L$, $R$ are called left/right Quillen functors, respectively, if the following equivalent conditions are satisfied:
$L$ preserves cofibrations and $R$ preserves fibrations;
$L$ preserves acyclic cofibrations and $R$ preserves acyclic fibrations;
$L$ preserves cofibrations and acyclic cofibrations;
$R$ preserves fibrations and acyclic fibrations.
First observe that
(i) A left adjoint $L$ between model categories preserves acyclic cofibrations precisely if its right adjoint $R$ preserves fibrations.
(ii) A left adjoint $L$ between model categories preserves cofibrations precisely if its right adjoint $R$ preserves acyclic fibrations.
We discuss statement (i), statement (ii) is formally dual. So let $f\colon A \to B$ be an acyclic cofibration in $\mathcal{D}$ and $g \colon X \to Y$ a fibration in $\mathcal{C}$. Then for every commuting diagram as on the left of the following, its $(L\dashv R)$-adjunct is a commuting diagram as on the right here:
If $L$ preserves acyclic cofibrations, then the diagram on the right has a lift, and so the $(L\dashv R)$-adjunct of that lift is a lift of the left diagram. This shows that $R(g)$ has the right lifting property against all acylic cofibrations and hence is a fibration. Conversely, if $R$ preserves fibrations, the same argument run from right to left gives that $L$ preserves acyclic fibrations.
Now by repeatedly applying (i) and (ii), all four conditions in question are seen to be equivalent.
The following is the analog of adjunction unit and adjunction counit (Def. ):
Let $\mathcal{C}$ and $\mathcal{D}$ be model categories (Def. ), and let
be a Quillen adjunction (Def. ). Then
a derived adjunction unit at an object $d \in \mathcal{D}$ is a composition of the form
where
$\eta$ is the ordinary adjunction unit (Def. );
$\emptyset \underoverset{\in Cof_{\mathcal{D}}}{i_{Q(d)}}{\longrightarrow} Q(d) \underoverset{\in W_{\mathcal{D}} \cap Fib_{\mathcal{D}}}{p_{Q(d)}}{\longrightarrow} d$ is a cofibrant resolution in $\mathcal{D}$ (Def. );
$L(Q(d)) \underoverset{\in W_{\mathcal{C}} \cap Cof_{\mathcal{C}}}{j_{L(Q(d))}}{\longrightarrow} P(L(Q(d))) \underoverset{\in Fib_{\mathcal{C}}}{q_{L(Q(d))}}{\longrightarrow} \ast$ is a fibrant resolution in $\mathcal{C}$ (Def. );
a derived adjunction counit at an object $c \in \mathcal{C}$ is a composition of the form
where
$\epsilon$ is the ordinary adjunction counit (Def. );
$c \underoverset{\in W_{\mathcal{C}} \cap Cof_{\mathcal{C}}}{j_c}{\longrightarrow} P c \underoverset{\in Fib_{\mathcal{C}}}{q_c}{\longrightarrow} \ast$ is a fibrant resolution in $\mathcal{C}$ (Def. );
$\emptyset \underoverset{\in Cof_{\mathcal{D}}}{i_{R(P(c))}}{\longrightarrow} Q(R(P(c))) \underoverset{\in W_{\mathcal{D}} \cap Fib_{\mathcal{D}}}{p_{R(P(c))}}{\longrightarrow} R(P(c))$ is a cofibrant resolution in $\mathcal{D}$ (Def. ).
We will see that Quillen adjunctions induce ordinary adjoint pairs of derived functors on homotopy categories (Prop. ). For this we first consider the following technical observation:
(right Quillen functors preserve path space objects)
Let $\mathcal{C} \stackrel{\overset{L}{\longleftarrow}}{\underoverset{R}{\bot}{\longrightarrow}} \mathcal{D}$ be a Quillen adjunction, def. .
For $X \in \mathcal{C}$ a fibrant object and $Path(X)$ a path space object (def. ), then $R(Path(X))$ is a path space object for $R(X)$.
For $X \in \mathcal{C}$ a cofibrant object and $Cyl(X)$ a cylinder object (def. ), then $L(Cyl(X))$ is a cylinder object for $L(X)$.
Consider the second case, the first is formally dual.
First Observe that $L(Y \sqcup Y) \simeq L Y \sqcup L Y$ because $L$ is left adjoint and hence preserves colimits, hence in particular coproducts.
Hence
is a cofibration.
Second, with $Y$ cofibrant then also $Y \sqcup Cyl(Y)$ is a cofibrantion, since $Y \to Y \sqcup Y$ is a cofibration (lemma ). Therefore by Ken Brown's lemma (prop. ) $L$ preserves the weak equivalence $Cyl(Y) \overset{\in W}{\longrightarrow} Y$.
(Quillen adjunction descends to homotopy categories)
For $\mathcal{C} \underoverset{\underset{R}{\longrightarrow}}{\overset{L}{\longleftarrow}}{{}_{\phantom{Qu}}\bot_{Qu}}\mathcal{D}$ a Quillen adjunction, def. , also the corresponding left and right derived functors (Def. , via cor. ) form a pair of adjoint functors
Moreover, the adjunction unit and adjunction counit of this derived adjunction are the images of the derived adjunction unit and derived adjunction counit (Def. ) under the localization functors (Theorem ).
For the first statement, by def. and lemma it is sufficient to see that for $X, Y \in \mathcal{C}$ with $X$ cofibrant and $Y$ fibrant, then there is a natural bijection
Since by the adjunction isomorphism for $(L \dashv R)$ such a natural bijection exists before passing to homotopy classes $(-)/_\sim$, it is sufficient to see that this respects homotopy classes. To that end, use from lemma that with $Cyl(Y)$ a cylinder object for $Y$, def. , then $L(Cyl(Y))$ is a cylinder object for $L(Y)$. This implies that left homotopies
given by
are in bijection to left homotopies
given by
This establishes the adjunction. Now regarding the (co-)units: We show this for the adjunction unit, the case of the adjunction counit is formally dual.
First observe that for $d \in \mathcal{D}_c$, then the defining commuting square for the left derived functor from def.
(using fibrant and fibrant/cofibrant replacement functors $\gamma_P$, $\gamma_{P,Q}$ from def. with their universal property from theorem , corollary ) gives that
where the second isomorphism holds because the left Quillen functor $L$ sends the acyclic cofibration $j_d \colon d \to P d$ to a weak equivalence.
The adjunction unit of $(\mathbb{L}L \dashv \mathbb{R}R)$ on $P d \in Ho(\mathcal{C})$ is the image of the identity under
By the above and the proof of prop. , that adjunction isomorphism is equivalently that of $(L \dashv R)$ under the isomorphism
of lemma . Hence the derived adjunction unit (Def. ) is the $(L \dashv R)$-adjunct of
which indeed (by the formula for adjuncts, Prop. ) is the derived adjunction unit
This suggests to regard passage to homotopy categories and derived functors as itself being a suitable functor from a category of model categories to the category of categories. Due to the role played by the distinction between left Quillen functors and right Quillen functors, this is usefully formulated as a double functor:
(double category of model categories)
The (very large) double category of model categories $ModCat_{dbl}$ is the double category (Def. ) that has
as objects: model categories $\mathcal{C}$ (Def. );
as vertical morphisms: left Quillen functors $\mathcal{C} \overset{L}{\longrightarrow} \mathcal{E}$ (Def. );
as horizontal morphisms: right Quillen functors $\mathcal{C} \overset{R}{\longrightarrow}\mathcal{D}$ (Def. );
as 2-morphisms natural transformations between the composites of underlying functors:
and composition is given by ordinary composition of functors, horizontally and vertically, and by whiskering-composition of natural transformations.
There is hence a forgetful double functor (Remark )
to the double category of squares (Example ) in the 2-category of categories (Example ), which forgets the model category-structure and the Quillen functor-property.
The following records the 2-functoriality of sending Quillen adjunctions to adjoint pairs of derived functors (Prop. ):
(homotopy double pseudofunctor on the double category of model categories)
There is a double pseudofunctor (Remark )
from the double category of model categories (Def. ) to the double category of squares (Example ) in the 2-category Cat (Example ), which sends
a model category $\mathcal{C}$ to its homotopy category of a model category (Def. );
a left Quillen functor (Def. ) to its left derived functor (Def. );
a right Quillen functor (Def. ) to its right derived functor (Def. );
to the “derived natural transformation”
given by the zig-zag
where the unlabeled morphisms are induced by fibrant resolution $c \to P c$ and cofibrant resolution $Q c \to c$, respectively (Def. ).
(recognizing derived natural isomorphisms)
For the derived natural transformation $Ho(\phi)$ in (3) to be invertible in the homotopy category, it is sufficient that for every object $c \in \mathcal{C}$ which is both fibrant and cofibrant the following composite natural transformation
(of $\phi$ with images of fibrant resolution/cofibrant resolution, Def. ) is invertible in the homotopy category, hence that the composite is a weak equivalence (by Prop. ).
(derived functor of left-right Quillen functor)
Let $\mathcal{C}$, $\mathcal{D}$ be model categories (Def. ), and let
be a functor that is both a left Quillen functor as well as a right Quillen functor (Def. ). This means equivalently that there is a 2-morphism in the double category of model categories (Def. ) of the form
It follows that the left derived functor $\mathbb{L}F$ and right derived functor $\mathbb{R}F$ of $F$ (Def. ) are naturally isomorphic:
To see the natural isomorphism $\mathbb{L}F \simeq \mathbb{R}F$: By Prop. this is implied once the derived natural transformation $Ho(id)$ of (4) is a natural isomorphism. By Prop. this is the case, in the present situation, if the composition of
is a weak equivalence. But this is immediate, since the two factors are weak equivalences, by definition of fibrant/cofibrant resolution (Def. ).
The following is the analog of co-reflective subcategories (Def. ) for model categories:
Let $\mathcal{C}$ and $\mathcal{D}$ be model categories (Def. ), and let
be a Quillen adjunction between them (Def. ). Then this may be called
a Quillen reflection if the derived adjunction counit (Def. ) is componentwise a weak equivalence;
a Quillen co-reflection if the derived adjunction unit (Def. ) is componentwise a weak equivalence.
The main class of examples of Quillen reflections are left Bousfield localizations, discussed as Prop. below.
(characterization of Quillen reflections)
Let
be a Quillen adjunction (Def. ) and write
for the induced adjoint pair of derived functors on the homotopy categories, from Prop. .
Then
$(L \underset{Qu}{\dashv} R)$ is a Quillen reflection (Def. ) precisely if $(\mathbb{L}L \dashv \mathbb{R}R)$ is a reflective subcategory-inclusion (Def. );
$(L \underset{Qu}{\dashv} R)$ is a Quillen co-reflection] (Def. ) precisely if $(\mathbb{L}L \dashv \mathbb{R}R)$ is a co-reflective subcategory-inclusion (Def. );
By Prop. the components of the adjunction unit/counit of $(\mathbb{L}L \dashv \mathbb{R}R)$ are precisely the images under localization of the derived adjunction unit/counit of $(L \underset{Qu}{\dashv} R)$. Moreover, by Prop. the localization functor of a model category inverts precisely the weak equivalences. Hence the adjunction (co-)unit of $(\mathbb{L}L \dashv \mathbb{R}R)$ is an isomorphism if and only if the derived (co-)unit of $(L \underset{Qu}{\dashv} R)$ is a weak equivalence, respectively.
With this the statement reduces to the characterization of (co-)reflections via invertible units/counits, respectively, from Prop. .
The following is the analog of adjoint equivalence of categories (Def. ) for model categories:
For $\mathcal{C}, \mathcal{D}$ two model categories (Def. ), a Quillen adjunction (def. )
is called a Quillen equivalence, to be denoted
if the following equivalent conditions hold:
The right derived functor of $R$ (via prop. , corollary ) is an equivalence of categories
The left derived functor of $L$ (via prop. , corollary ) is an equivalence of categories
For every cofibrant object $d\in \mathcal{D}$, the derived adjunction unit (Def. )
is a weak equivalence;
and for every fibrant object $c \in \mathcal{C}$, the derived adjunction counit (Def. )
is a weak equivalence.
For every cofibrant object $d \in \mathcal{D}$ and every fibrant object $c \in \mathcal{C}$, a morphism $d \longrightarrow R(c)$ is a weak equivalence precisely if its adjunct morphism $L(c) \to d$ is:
That $1) \Leftrightarrow 2)$ follows from prop. (if in an adjoint pair one is an equivalence, then so is the other).
To see the equivalence $1),2) \Leftrightarrow 3)$, notice (prop.) that a pair of adjoint functors is an equivalence of categories precisely if both the adjunction unit and the adjunction counit are natural isomorphisms. Hence it is sufficient to see that the derived adjunction unit/derived adjunction counit (Def. ) indeed represent the adjunction (co-)unit of $(\mathbb{L}L \dashv \mathbb{R}R)$ in the homotopy category. But this is the statement of Prop. .
To see that $4) \Rightarrow 3)$:
Consider the weak equivalence $L X \overset{j_{L X}}{\longrightarrow} P L X$. Its $(L \dashv R)$-adjunct is
by assumption 4) this is again a weak equivalence, which is the requirement for the derived adjunction unit in 3). Dually for derived adjunction counit.
To see $3) \Rightarrow 4)$:
Consider any $f \colon L d \to c$ a weak equivalence for cofibrant $d$, firbant $c$. Its adjunct $\tilde f$ sits in a commuting diagram
where $P f$ is any lift constructed as in def. .
This exhibits the bottom left morphism as the derived adjunction unit (Def. ), hence a weak equivalence by assumption. But since $f$ was a weak equivalence, so is $P f$ (by two-out-of-three). Thereby also $R P f$ and $R j_Y$, are weak equivalences by Ken Brown's lemma and the assumed fibrancy of $c$. Therefore by two-out-of-three (def. ) also the adjunct $\tilde f$ is a weak equivalence.
(trivial Quillen equivalence)
Let $\mathcal{C}$ be a model category (Def. ). Then the identity functor on $\mathcal{C}$ constitutes a Quillen equivalence (Def. ) from $\mathcal{C}$ to itself:
From prop. it is clear that in this case the derived functors $\mathbb{L}id$ and $\mathbb{R}id$ both are themselves the identity functor on the homotopy category of a model category, hence in particular are an equivalence of categories.
In certain situations the conditions on a Quillen equivalence simplify. For instance:
(recognition of Quillen equivalences)
If in a Quillen adjunction $\array{\mathcal{C} &\underoverset{\underset{R}{\to}}{\overset{L}{\leftarrow}}{\bot}& \mathcal{D}}$ (def. ) the right adjoint $R$ “creates weak equivalences” (in that a morphism $f$ in $\mathcal{C}$ is a weak equivalence precisly if $U(f)$ is) then $(L \dashv R)$ is a Quillen equivalence (def. ) precisely already if for all cofibrant objects $d \in \mathcal{D}$ the plain adjunction unit
is a weak equivalence.
By prop. , generally, $(L \dashv R)$ is a Quillen equivalence precisely if
for every cofibrant object $d\in \mathcal{D}$, the derived adjunction unit (Def. )
is a weak equivalence;
for every fibrant object $c \in \mathcal{C}$, the derived adjunction counit (Def. )
is a weak equivalence.
Consider the first condition: Since $R$ preserves the weak equivalence $j_{L(d)}$, then by two-out-of-three (def. ) the composite in the first item is a weak equivalence precisely if $\eta$ is.
Hence it is now sufficient to show that in this case the second condition above is automatic.
Since $R$ also reflects weak equivalences, the composite in item two is a weak equivalence precisely if its image
under $R$ is.
Moreover, assuming, by the above, that $\eta_{Q(R(c))}$ on the cofibrant object $Q(R(c))$ is a weak equivalence, then by two-out-of-three this composite is a weak equivalence precisely if the further composite with $\eta$ is
By the formula for adjuncts, this composite is the $(L\dashv R)$-adjunct of the original composite, which is just $p_{R(c)}$
But $p_{R(c)}$ is a weak equivalence by definition of cofibrant replacement.
The following is the analog of adjoint triples, adjoint quadruples (Remark ), etc. for model categories:
Let $\mathcal{C}_1, \mathcal{C}_2, \mathcal{D}$ be model categories (Def. ), where $\mathcal{C}_1$ and $\mathcal{C}_2$ share the same underlying category $\mathcal{C}$, and such that the identity functor on $\mathcal{C}$ constitutes a Quillen equivalence (Def. ):
Then
a Quillen adjoint triple of the form
is diagrams in the double category of model categories (Def. ) of the form
such that $\eta$ is the unit of an adjunction and $\epsilon$ the counit of an adjunction, thus exhibiting Quillen adjunctions
and such that the derived natural transformation $Ho(id)$ of the bottom right square (3) is invertible (a natural isomorphism);
a Quillen adjoint triple of the form
is diagram in the double category of model categories (Def. ) of the form
such that $\eta$ is the unit of an adjunction and $\epsilon$ the counit of an adjunction, thus exhibiting Quillen adjunctions
and such that the derived natural transformation $Ho(id)$ of the top left square square (here) is invertible (a natural isomorphism).
If a Quillen adjoint triple of the first kind overlaps with one of the second kind
we speak of a Quillen adjoint quadruple?, and so forth.
(Quillen adjoint triple induces adjoint triple of derived functors on homotopy categories)
Given a Quillen adjoint triple (Def. ), the induced derived functors (Def. ) on the homotopy categories form an ordinary adjoint triple (Remark ):
$\,$
This follows immediately from the fact that passing to homotopy categories of model categories is a double pseudofunctor from the double category of model categories to the double category of squares in Cat (Prop. ).
$\,$
In the context of homotopy theory, a pullback diagram, such as in the definition of the fiber in example
ought to commute only up to a (left/right) homotopy (def. ) between the outer composite morphisms. Moreover, it should satisfy its universal property up to such homotopies.
Instead of going through the full theory of what this means, we observe that this is plausibly modeled by the following construction, and then we check (below) that this indeed has the relevant abstract homotopy theoretic properties.
Let $\mathcal{C}$ be a model category, def. with $\mathcal{C}^{\ast/}$ its model structure on pointed objects, prop. . For $f \colon X \longrightarrow Y$ a morphism between cofibrant objects (hence a morphism in $(\mathcal{C}^{\ast/})_c\hookrightarrow \mathcal{C}^{\ast/}$, def. ), its reduced mapping cone is the object
in the colimiting diagram
where $Cyl(X)$ is a cylinder object for $X$, def. .
Dually, for $f \colon X \longrightarrow Y$ a morphism between fibrant objects (hence a morphism in $(\mathcal{C}^{\ast})_f\hookrightarrow \mathcal{C}^{\ast/}$, def. ), its mapping cocone is the object
in the following limit diagram
where $Path(Y)$ is a path space object for $Y$, def. .
When we write homotopies (def. ) as double arrows between morphisms, then the limit diagram in def. looks just like the square in the definition of fibers in example , except that it is filled by the right homotopy given by the component map denoted $\eta$:
Dually, the colimiting diagram for the mapping cone turns to look just like the square for the cofiber, except that it is filled with a left homotopy
The colimit appearing in the definition of the reduced mapping cone in def. is equivalent to three consecutive pushouts:
The two intermediate objects appearing here are called
the plain reduced cone $Cone(X) \coloneqq \ast \underset{X}{\sqcup} Cyl(X)$;
the reduced mapping cylinder $Cyl(f) \coloneqq Cyl(X) \underset{X}{\sqcup} Y$.
Dually, the limit appearing in the definition of the mapping cocone in def. is equivalent to three consecutive pullbacks:
The two intermediate objects appearing here are called
the based path space object $Path_\ast(Y) \coloneqq \ast \underset{Y}{\prod} Path(Y)$;
the mapping path space or mapping co-cylinder $Path(f) \coloneqq X \underset{Y}{\times} Path(X)$.
Let $X \in \mathcal{C}^{\ast/}$ be any pointed object.
The mapping cone, def. , of $X \to \ast$ is called the reduced suspension of $X$, denoted
Via prop. this is equivalently the coproduct of two copies of the cone on $X$ over their base:
This is also equivalently the cofiber, example of $(i_0,i_1)$, hence (example ) of the wedge sum inclusion:
The mapping cocone, def. , of $\ast \to X$ is called the loop space object of $X$, denoted
Via prop. this is equivalently
This is also equivalently the fiber, example of $(p_0,p_1)$:
In pointed topological spaces $Top^{\ast/}$,
the reduced suspension objects (def. ) induced from the standard reduced cylinder $(-)\wedge (I_+)$ of example are isomorphic to the smash product (def. ) with the 1-sphere, for later purposes we choose to smash on the left and write
Dually:
the loop space objects (def. ) induced from the standard pointed path space object $Maps(I_+,-)_\ast$ are isomorphic to the pointed mapping space (example ) with the 1-sphere
By immediate inspection: For instance the fiber of $Maps(I_+,X)_\ast \longrightarrow X\times X$ is clearly the subspace of the unpointed mapping space $X^I$ on elements that take the endpoints of $I$ to the basepoint of $X$.
For $\mathcal{C} =$ Top with $Cyl(X) = X\times I$ the standard cyclinder object, def. , then by example , the mapping cone, def. , of a continuous function $f \colon X \longrightarrow Y$ is obtained by
forming the cylinder over $X$;
attaching to one end of that cylinder the space $Y$ as specified by the map $f$.
shrinking the other end of the cylinder to the point.
Accordingly the suspension of a topological space is the result of shrinking both ends of the cylinder on the object two the point. This is homeomoprhic to attaching two copies of the cone on the space at the base of the cone.
(graphics taken from Muro 10)
Below in example we find the homotopy-theoretic interpretation of this standard topological mapping cone as a model for the homotopy cofiber.
The formula for the mapping cone in prop. (as opposed to that of the mapping co-cone) does not require the presence of the basepoint: for $f \colon X \longrightarrow Y$ a morphism in $\mathcal{C}$ (as opposed to in $\mathcal{C}^{\ast/}$) we may still define
where the prime denotes the unreduced cone, formed from a cylinder object in $\mathcal{C}$.
For $f \colon X \longrightarrow Y$ a morphism in Top, then its unreduced mapping cone, remark , with respect to the standard cylinder object $X \times I$ def. , is isomorphic to the reduced mapping cone, def. , of the morphism $f_+ \colon X_+ \to Y_+$ (with a basepoint adjoined, def. ) with respect to the standard reduced cylinder (example ):
By prop. and example , $Cone(f_+)$ is given by the colimit in $Top$ over the following diagram:
We may factor the vertical maps to give
This way the top part of the diagram (using the pasting law to compute the colimit in two stages) is manifestly a cocone under the result of applying $(-)_+$ to the diagram for the unreduced cone. Since $(-)_+$ is itself given by a colimit, it preserves colimits, and hence gives the partial colimit $Cone'(f)_+$ as shown. The remaining pushout then contracts the remaining copy of the point away.
Example makes it clear that every cycle $S^n \to Y$ in $Y$ that happens to be in the image of $X$ can be continuously translated in the cylinder-direction, keeping it constant in $Y$, to the other end of the cylinder, where it shrinks away to the point. This means that every homotopy group of $Y$, def. , in the image of $f$ vanishes in the mapping cone. Hence in the mapping cone the image of $X$ under $f$ in $Y$ is removed up to homotopy. This makes it intuitively clear how $Cone(f)$ is a homotopy-version of the cokernel of $f$. We now discuss this formally.
Let $\mathcal{C}_c$ be a category of cofibrant objects, def. . Then for every morphism $f \colon X \longrightarrow Y$ the mapping cylinder-construction in def. provides a cofibration resolution of $f$, in that
the composite morphism $X \overset{i_0}{\longrightarrow} Cyl(X) \overset{(i_1)_\ast f}{\longrightarrow} Cyl(f)$ is a cofibration;
$f$ factors through this morphism by a weak equivalence left inverse to an acyclic cofibration
Dually:
Let $\mathcal{C}_f$ be a category of fibrant objects, def. . Then for every morphism $f \colon X \longrightarrow Y$ the mapping cocylinder-construction in def. provides a fibration resolution of $f$, in that
the composite morphism $Path(f) \overset{p_1^\ast f}{\longrightarrow} Path(Y) \overset{p_0}{\longrightarrow} Y$ is a fibration;
$f$ factors through this morphism by a weak equivalence right inverse to an acyclic fibration:
We discuss the second case. The first case is formally dual.
So consider the mapping cocylinder-construction from prop.
To see that the vertical composite is indeed a fibration, notice that, by the pasting law, the above pullback diagram may be decomposed as a pasting of two pullback diagram as follows
Both squares are pullback squares. Since pullbacks of fibrations are fibrations by prop. , the morphism $Path(f) \to X \times Y$ is a fibration. Similarly, since $X$ is fibrant, also the projection map $X \times Y \to Y$ is a fibration (being the pullback of $X \to \ast$ along $Y \to \ast$).
Since the vertical composite is thereby exhibited as the composite of two fibrations
it is itself a fibration.
Then to see that there is a weak equivalence as claimed:
The universal property of the pullback $Path(f)$ induces a right inverse of $Path(f) \to X$ fitting into this diagram
which is a weak equivalence, as indicated, by two-out-of-three (def. ).
This establishes the claim.
Below we discuss the homotopy-theoretic properties of the mapping cone- and mapping cocone-constructions from above. Before we do so, we here establish a collection of general facts that hold in categories of fibrant objects and dually in categories of cofibrant objects, def. .
Literature (Brown 73, section 4).
Let $f\colon X \longrightarrow Y$ be a morphism in a category of fibrant objects, def. . Then given any choice of path space objects $Path(X)$ and $Path(Y)$, def. , there is a replacement of $Path(X)$ by a path space object $\widetilde{Path(X)}$ along an acylic fibration, such that $\widetilde{Path(X)}$ has a morphism $\phi$ to $Path(Y)$ which is compatible with the structure maps, in that the following diagram commutes
(Brown 73, section 2, lemma 2)
Consider the commuting square
Then consider its factorization through the pullback of the right morphism along the bottom morphism,
Finally use the factorization lemma to factor the morphism $X \to (f \circ p_0^X, f\circ p_1^X)^\ast Path(Y)$ through a weak equivalence followed by a fibration, the object this factors through serves as the desired path space resolution
In a category of fibrant objects $\mathcal{C}_f$, def. , let
be a morphism over some object $B$ in $\mathcal{C}_f$ and let $u \colon B' \to B$ be any morphism in $\mathcal{C}_f$. Let
be the corresponding morphism pulled back along $u$.
Then
if $f$ is a fibration then also $u^* f$ is a fibration;
if $f$ is a weak equivalence then also $u^* f$ is a weak equivalence.
(Brown 73, section 4, lemma 1)
For $f \in Fib$ the statement follows from the pasting law which says that if in
the bottom and the total square are pullback squares, then so is the top square. The same reasoning applies for $f \in W \cap Fib$.
Now to see the case that $f\in W$:
Consider the full subcategory $(\mathcal{C}_{/B})_f$ of the slice category $\mathcal{C}_{/B}$ (def. ) on its fibrant objects, i.e. the full subcategory of the slice category on the fibrations
into $B$. By factorizing for every such fibration the diagonal morphisms into the fiber product $X \underset{B}{\times} X$ through a weak equivalence followed by a fibration, we obtain path space objects $Path_B(X)$ relative to $B$:
With these, the factorization lemma (lemma ) applies in $(\mathcal{C}_{/B})_f$.
(Notice that for this we do need the restriction of $\mathcal{C}_{/B}$ to the fibrations, because this ensures that the projections $p_i \colon X_1 \times_B X_2 \to X_i$ are still fibrations, which is used in the proof of the factorization lemma (here).)
So now given any
apply the factorization lemma in $(\mathcal{C}_{/B})_f$ to factor it as
By the previous discussion it is sufficient now to show that the base change of $i$ to $B'$ is still a weak equivalence. But by the factorization lemma in $(\mathcal{C}_{/B})_f$, the morphism $i$ is right inverse to another acyclic fibration over $B$:
(Notice that if we had applied the factorization lemma of $\Delta_X$ in $\mathcal{C}_f$ instead of $(\Delta_X)/B$ in $(\mathcal{C}_{/B})$ then the corresponding triangle on the right here would not commute.)
Now we may reason as before: the base change of the top morphism here is exhibited by the following pasting composite of pullbacks:
The acyclic fibration $Path_B(f)$ is preserved by this pullback, as is the identity $id_X \colon X \to Path_B(X)\to X$. Hence the weak equivalence $X \to Path_B(X)$ is preserved by two-out-of-three (def. ).
In a category of fibrant objects, def. , the pullback of a weak equivalence along a fibration is again a weak equivalence.
(Brown 73, section 4, lemma 2)
Let $u \colon B' \to B$ be a weak equivalence and $p \colon E \to B$ be a fibration. We want to show that the left vertical morphism in the pullback
is a weak equivalence.
First of all, using the factorization lemma we may factor $B' \to B$ as
with the first morphism a weak equivalence that is a right inverse to an acyclic fibration and the right one an acyclic fibration.
Then the pullback diagram in question may be decomposed into two consecutive pullback diagrams
where the morphisms are indicated as fibrations and acyclic fibrations using the stability of these under arbitrary pullback.
This means that the proof reduces to proving that weak equivalences $u : B' \stackrel{\in W}{\to} B$ that are right inverse to some acyclic fibration $v : B \stackrel{\in W \cap F}{\to} B'$ map to a weak equivalence under pullback along a fibration.
Given such $u$ with right inverse $v$, consider the pullback diagram
Notice that the indicated universal morphism $p \times Id \colon E \stackrel{\in W}{\to} E_1$ into the pullback is a weak equivalence by two-out-of-three (def. ).
The previous lemma says that weak equivalences between fibrations over $B$ are themselves preserved by base extension along $u \colon B' \to B$. In total this yields the following diagram
so that with $p \times Id : E \to E_1$ a weak equivalence also $u^* (p \times Id)$ is a weak equivalence, as indicated.
Notice that $u^* E = B' \times_B E \to E$ is the morphism that we want to show is a weak equivalence. By two-out-of-three (def. ) for that it is now sufficient to show that $u^* E_1 \to E_1$ is a weak equivalence.
That finally follows now since, by assumption, the total bottom horizontal morphism is the identity. Hence so is the top horizontal morphism. Therefore $u^\ast E_1 \to E_1$ is right inverse to a weak equivalence, hence is a weak equivalence.
Let $(\mathcal{C}^{\ast/})_f$ be a category of fibrant objects, def. in a model structure on pointed objects (prop. ). Given any commuting diagram in $\mathcal{C}^{}$ of the form
(meaning: both squares commute and $t$ equalizes $f$ with $g$) then the localization functor $\gamma \colon (\mathcal{C}^{\ast/})_f \to Ho(\mathcal{C}^{\ast/})$ (def. , cor ) takes the morphisms $fib(p_1) \stackrel{\longrightarrow}{\longrightarrow} fib(p_2)$ induced by $f$ and $g$ on fibers (example ) to the same morphism, in the homotopy category.
(Brown 73, section 4, lemma 4)
First consider the pullback of $p_2$ along $u$: this forms the same kind of diagram but with the bottom morphism an identity. Hence it is sufficient to consider this special case.
Consider the full subcategory $(\mathcal{C}^{\ast/}_{/B})_f$ of the slice category $\mathcal{C}^{\ast/}_{/B}$ (def. ) on its fibrant objects, i.e. the full subcategory of the slice category on the fibrations
into $B$. By factorizing for every such fibration the diagonal morphisms into the fiber product $X \underset{B}{\times} X$ through a weak equivalence followed by a fibration, we obtain path space objects $Path_B(X)$ relative to $B$:
With these, the factorization lemma (lemma ) applies in $(\mathcal{C}^{\ast/}_{/B})_f$.
Let then $X\overset{s}{\to}Path_B(X_2)\overset{(p_0,p_1)}{\to} X_2 \times_B X_2$ be a path space object for $X_2$ in the slice over $B$ and consider the following commuting square
By factoring this through the pullback $(f,g)^\ast(p_0,p_1)$ and then applying the factorization lemma and then two-out-of-three (def. ) to the factoring morphisms, this may be replaced by a commuting square of the same form, where however the left morphism is an acyclic fibration
This makes also the morphism $X''_1 \to B$ be a fibration, so that the whole diagram may now be regarded as a diagram in the category of fibrant objects $(\mathcal{C}_{/B})_f$ of the slice category over $B$.
As such, the top horizontal morphism now exhibits a right homotopy which under localization $\gamma_B \;\colon\; (\mathcal{C}_{/B})_f \longrightarrow Ho(\mathcal{C}_{/B})$ (def. ) of the slice model structure (prop. ) we have
The result then follows by observing that we have a commuting square of functors
because, by lemma , the top and right composite sends weak equivalences to isomorphisms, and hence the bottom filler exists by theorem . This implies the claim.
We now discuss the homotopy-theoretic properties of the mapping cone- and mapping cocone-constructions from above.
Literature (Brown 73, section 4).
The factorization lemma with prop. says that the mapping cocone of a morphism $f$, def. , is equivalently the plain fiber, example , of a fibrant resolution $\tilde f$ of $f$:
The following prop. says that, up to equivalence, this situation is independent of the specific fibration resolution $\tilde f$ provided by the factorization lemma (hence by the prescription for the mapping cocone), but only depends on it being some fibration resolution.
In the category of fibrant objects $(\mathcal{C}^{\ast/})_f$, def. , of a model structure on pointed objects (prop. ) consider a morphism of fiber-diagrams, hence a commuting diagram of the form
If $f$ and $g$ weak equivalences, then so is $h$.
Factor the diagram in question through the pullback of $p_2$ along $f$
and observe that
$fib(f^\ast p_2) = pt^\ast f^\ast p_2 = pt^\ast p_2 = fib(p_2)$;
$X_1 \to f^\ast X_2$ is a weak equivalence by assumption and by two-out-of-three (def. );
Moreover, this diagram exhibits $h \colon fib(p_1)\to fib(f^\ast p_2) = fib(p_2)$ as the base change, along $\ast \to Y_1$, of $X_1 \to f^\ast X_2$. Therefore the claim now follows with lemma .
Hence we say:
Let $\mathcal{C}$ be a model category and $\mathcal{C}^{\ast/}$ its model category of pointed objects, prop. . For $f \colon X \longrightarrow Y$ any morphism in its category of fibrant objects $(\mathcal{C}^{\ast/})_f$, def. , then its homotopy fiber
is the morphism in the homotopy category $Ho(\mathcal{C}^{\ast/})$, def. , which is represented by the fiber, example , of any fibration resolution $\tilde f$ of $f$ (hence any fibration $\tilde f$ such that $f$ factors through a weak equivalence followed by $\tilde f$).
Dually:
For $f \colon X \longrightarrow Y$ any morphism in its category of cofibrant objects $(\mathcal{C}^{\ast/})_c$, def. , then its homotopy cofiber
is the morphism in the homotopy category $Ho(\mathcal{C})$, def. , which is represented by the cofiber, example , of any cofibration resolution of $f$ (hence any cofibration $\tilde f$ such that $f$ factors as $\tilde f$ followed by a weak equivalence).
The homotopy fiber in def. is indeed well defined, in that for $f_1$ and $f_2$ two fibration replacements of any morphisms $f$ in $\mathcal{C}_f$, then their fibers are isomorphic in $Ho(\mathcal{C}^{\ast/})$.
It is sufficient to exhibit an isomorphism in $Ho(\mathcal{C}^{\ast/})$ from the fiber of the fibration replacement given by the factorization lemma (for any choice of path space object) to the fiber of any other fibration resolution.
Hence given a morphism $f \colon Y \longrightarrow X$ and a factorization
consider, for any choice $Path(Y)$ of path space object (def. ), the diagram
as in the proof of lemma . Now by repeatedly using prop. :
the bottom square gives a weak equivalence from the fiber of $Path(f_1) \to Path(Y)$ to the fiber of $f_1$;
The square
gives a weak equivalence from the fiber of $Path(f_1) \to Path(Y)$ to the fiber of $Path(f_1)\to Y$.
Similarly the total vertical composite gives a weak equivalence via
from the fiber of $Path(f) \to Y$ to the fiber of $Path(f_1)\to Y$.
Together this is a zig-zag of weak equivalences of the form
between the fiber of $Path(f) \to Y$ and the fiber of $f_1$. This gives an isomorphism in the homotopy category.
(fibers of Serre fibrations)
In showing that Serre fibrations are abstract fibrations in the sense of model category theory, theorem implies that the fiber $F$ (example ) of a Serre fibration, def.
over any point is actually a homotopy fiber in the sense of def. . With prop. this implies that the weak homotopy type of the fiber only depends on the Serre fibration up to weak homotopy equivalence in that if $p' \colon X' \to B'$ is another Serre fibration fitting into a commuting diagram of the form
then $F \overset{\in W_{cl}}{\longrightarrow} F'$.
In particular this gives that the weak homotopy type of the fiber of a Serre fibration $p \colon X \to B$ does not change as the basepoint is moved in the same connected component. For let $\gamma \colon I \longrightarrow B$ be a path between two points
Then since all objects in $(Top_{cg})_{Quillen}$ are fibrant, and since the endpoint inclusions $i_{0,1}$ are weak equivalences, lemma gives the zig-zag of top horizontal weak equivalences in the following diagram:
and hence an isomorphism $F_{b_0} \simeq F_{b_1}$ in the classical homotopy category (def. ).
The same kind of argument applied to maps from the square $I^2$ gives that if $\gamma_1, \gamma_2\colon I \to B$ are two homotopic paths with coinciding endpoints, then the isomorphisms between fibers over endpoints which they induce are equal. (But in general the isomorphism between the fibers does depend on the choice of homotopy class of paths connecting the basepoints!)
The same kind of argument also shows that if $B$ has the structure of a cell complex (def. ) then the restriction of the Serre fibration to one cell $D^n$ may be identified in the homotopy category with $D^n \times F$, and may be canonically identified so if the fundamental group of $X$ is trivial. This is used when deriving the Serre-Atiyah-Hirzebruch spectral sequence for $p$ (prop.).
For every continuous function $f \colon X \longrightarrow Y$ between CW-complexes, def. , then the standard topological mapping cone is the attaching space (example )
of $Y$ with the standard cone $Cone(X)$ given by collapsing one end of the standard topological cyclinder $X \times I$ (def. ) as shown in example .
Equipped with the canonical continuous function
this represents the homotopy cofiber, def. , of $f$ with respect to the classical model structure on topological spaces $\mathcal{C}= Top_{Quillen}$ from theorem .
By prop. , for $X$ a CW-complex then the standard topological cylinder object $X\times I$ is indeed a cyclinder object in $Top_{Quillen}$. Therefore by prop. and the factorization lemma , the mapping cone construction indeed produces first a cofibrant replacement of $f$ and then the ordinary cofiber of that, hence a model for the homotopy cofiber.
The homotopy fiber of the inclusion of classifying spaces $B O(n) \hookrightarrow B O(n+1)$ is the n-sphere $S^n$. See this prop. at Classifying spaces and G-structure.
Suppose a morphism $f \colon X \longrightarrow Y$ already happens to be a fibration between fibrant objects. The factorization lemma replaces it by a fibration out of the mapping cocylinder $Path(f)$, but such that the comparison morphism is a weak equivalence:
Hence by prop. in this case the ordinary fiber of $f$ is weakly equivalent to the mapping cocone, def. .
We may now state the abstract version of the statement of prop. :
Let $\mathcal{C}$ be a model category. For $f \colon X \to Y$ any morphism of pointed objects, and for $A$ a pointed object, def. , then the sequence
is exact as a sequence of pointed sets.
(Where the sequence here is the image of the homotopy fiber sequence of def. under the hom-functor $[A,-]_\ast \;\colon\; Ho(\mathcal{C}^{\ast/}) \longrightarrow Set^{\ast/}$ from example .)
Let $A$, $X$ and $Y$ denote fibrant-cofibrant objects in $\mathcal{C}^{\ast/}$ representing the given objects of the same name in $Ho(\mathcal{C}^{\ast/})$. Moreover, let $f$ be a fibration in $\mathcal{C}^{\ast/}$ representing the given morphism of the same name in $Ho(\mathcal{C}^{\ast/})$.
Then by def. and prop. there is a representative $hofib(f) \in \mathcal{C}$ of the homotopy fiber which fits into a pullback diagram of the form
With this the hom-sets in question are represented by genuine morphisms in $\mathcal{C}^{\ast/}$, modulo homotopy. From this it follows immediately that $im(i_\ast)$ includes into $ker(f_\ast)$. Hence it remains to show the converse: that every element in $ker(f_\ast)$ indeed comes from $im(i_\ast)$.
But an element in $ker(f_\ast)$ is represented by a morphism $\alpha \colon A \to X$ such that there is a left homotopy as in the following diagram
Now by lemma the square here has a lift $\tilde \eta$, as shown. This means that $i_1 \circ\tilde \eta$ is left homotopic to $\alpha$. But by the universal property of the fiber, $i_1 \circ \tilde \eta$ factors through $i \colon hofib(f) \to X$.
With prop. it also follows notably that the loop space construction becomes well-defined on the homotopy category:
Given an object $X \in \mathcal{C}^{\ast/}_f$, and picking any path space object $Path(X)$, def. with induced loop space object $\Omega X$, def. , write $Path_2(X) = Path(X) \underset{X}{\times} Path(X)$ for the path space object given by the fiber product of $Path(X)$ with itself, via example . From the pullback diagram there, the fiber inclusion $\Omega X \to Path(X)$ induces a morphism
In the case where $\mathcal{C}^{\ast/} = Top^{\ast/}$ and $\Omega$ is induced, via def. , from the standard path space object (def. ), i.e. in the case that
then this is the operation of concatenating two loops parameterized by $I = [0,1]$ to a single loop parameterized by $[0,2]$.
Let $\mathcal{C}$ be a model category, def. . Then the construction of forming loop space objects $X\mapsto \Omega X$, def. (which on $\mathcal{C}^{\ast/}_f$ depends on a choice of path space objects, def. ) becomes unique up to isomorphism in the homotopy category (def. ) of the model structure on pointed objects (prop. ) and extends to a functor:
Dually, the reduced suspension operation, def. , which on $\mathcal{C}^{\ast/}$ depends on a choice of cylinder object, becomes a functor on the homotopy category
Moreover, the pairing operation induced on the objects in the image of this functor via remark (concatenation of loops) gives the objects in the image of $\Omega$ group object structure, and makes this functor lift as
(Brown 73, section 4, theorem 3)
Given an object $X \in \mathcal{C}^{\ast/}$ and given two choices of path space objects $Path(X)$ and $\widetilde{Path(X)}$, we need to produce an isomorphism in $Ho(\mathcal{C}^{\ast/})$ between $\Omega X$ and $\tilde \Omega X$.
To that end, first lemma implies that any two choices of path space objects are connected via a third path space by a span of morphisms compatible with the structure maps. By two-out-of-three (def. ) every morphism of path space objects compatible with the inclusion of the base object is a weak equivalence. With this, lemma implies that these morphisms induce weak equivalences on the corresponding loop space objects. This shows that all choices of loop space objects become isomorphic in the homotopy category.
Moreover, all the isomorphisms produced this way are actually equal: this follows from lemma applied to
This way we obtain a functor
By prop. (and using that Cartesian product preserves weak equivalences) this functor sends weak equivalences to isomorphisms. Therefore the functor on homotopy categories now follows with theorem .
It is immediate to see that the operation of loop concatenation from remark gives the objects $\Omega X \in Ho(\mathcal{C}^{\ast/})$ the structure of monoids. It is now sufficient to see that these are in fact groups:
We claim that the inverse-assigning operation is given by the left map in the following pasting composite
(where $Path'(X)$, thus defined, is the path space object obtained from $Path(X)$ by “reversing the notion of source and target of a path”).
To see that this is indeed an inverse, it is sufficient to see that the two morphisms
induced from
coincide in the homotopy category. This follows with lemma applied to the following commuting diagram:
The concept of homotopy fibers of def. is a special case of the more general concept of homotopy pullbacks.
A model category $\mathcal{C}$ (def. ) is called
a right proper model category if pullback along fibrations preserves weak equivalences;
a left proper model category if pushout along cofibrations preserves weak equivalences;
a proper model category if it is both left and right proper.
By lemma , a model category $\mathcal{C}$ (def. ) in which all objects are fibrant is a right proper model category (def. ).
Let $\mathcal{C}$ be a right proper model category (def. ). Then a commuting square
in $\mathcal{C}_f$ is called a homotopy pullback (of $f$ along $g$ and equivalently of $g$ along $f$) if the following equivalent conditions hold:
for some factorization of the form
the universally induced morphism from $A$ into the pullback of $\hat B$ along $f$ is a weak equivalence:
for some factorization of the form
the universally induced morphism from $A$ into the pullback of $\hat D$ along $g$ is a weak equivalence:
the above two conditions hold for every such factorization.
(e.g. Goerss-Jardine 96, II (8.14))
First assume that the first condition holds, in that
Then let
be any factorization of $f$ and consider the pasting diagram (using the pasting law for pullbacks)
where the inner morphisms are fibrations and weak equivalences, as shown, by the pullback stability of fibrations (prop. ) and then since pullback along fibrations preserves weak equivalences by assumption of right properness (def. ). Hence it follows by two-out-of-three (def. ) that also the comparison morphism $A \to \hat C \underset{D}{\times} B$ is a weak equivalence.
In conclusion, if the homotopy pullback condition is satisfied for one factorization of $g$, then it is satisfied for all factorizations of $f$. Since the argument is symmetric in $f$ and $g$, this proves the claim.
In particular, an ordinary pullback square of fibrant objects, one of whose edges is a fibration, is a homotopy pullback square according to def. .
Let $\mathcal{C}$ be a right proper model category (def. ). Given a diagram in $\mathcal{C}$ of the form
then the induced morphism on pullbacks is a weak equivalence
(The reader should draw the 3-dimensional cube diagram which we describe in words now.)
First consider the universal morphism $C \to E \underset{F}{\times} C$ and observe that it is a weak equivalence by right properness (def. ) and two-out-of-three (def. ).
Then consider the universal morphism $A \underset{B}{\times}C \to A \underset{B}{\times}(E \underset{F}{\times}C)$ and observe that this is also a weak equivalence, since $A \underset{B}{\times} C$ is the limiting cone of a homotopy pullback square by remark , and since the morphism is the comparison morphism to the pullback of the factorization constructed in the first step.
Now by using the pasting law, then the commutativity of the “left” face of the cube, then the pasting law again, one finds that $A \underset{B}{\times} (E \underset{F}{\times} C) \simeq A \underset{D}{\times} (D \underset{E} F{\times})$. Again by right properness this implies that $A \underset{B}{\times} (E \underset{F}{\times} C)\to D \underset{E}{\times} F$ is a weak equivalence.
With this the claim follows by two-out-of-three.
Homotopy pullbacks satisfy the usual abstract properties of pullbacks:
Let $\mathcal{C}$ be a right proper model category (def. ). If in a commuting square in $\mathcal{C}$ one edge is a weak equivalence, then the square is a homotopy pullback square precisely if the opposite edge is a weak equivalence, too.
Consider a commuting square of the form
To detect whether this is a homotopy pullback, by def. and prop. , we are to choose any factorization of the right vertical morphism to obtain the pasting composite
Here the morphism in the middle is a weak equivalence by right properness (def. ). Hence it follows by two-out-of-three that the top left comparison morphism is a weak equivalence (and so the original square is a homotopy pullback) precisely if the top morphism is a weak equivalence.
Let $\mathcal{C}$ be a right proper model category (def. ).
(pasting law) If in a commuting diagram
the square on the right is a homotoy pullback (def. ) then the left square is, too, precisely if the total rectangle is;
in the presence of functorial factorization (def. ) through weak equivalences followed by fibrations:
every retract of a homotopy pullback square (in the category $\mathcal{C}_f^{\Box}$ of commuting squares in $\mathcal{C}_f$) is itself a homotopy pullback square.
For the first statement: choose a factorization of $C \overset{\in W}{\to} \hat F \overset{\in Fib}{\to} F$, pull it back to a factorization $B \to \hat B \overset{\in Fib}{\to} E$ and assume that $B \to \hat B$ is a weak equivalence, i.e. that the right square is a homotopy pullback. Now use the ordinary pasting law to conclude.
For the second statement: functorially choose a factorization of the two right vertical morphisms of the squares and factor the squares through the pullbacks of the corresponding fibrations along the bottom morphisms, respectively. Now the statement that the squares are homotopy pullbacks is equivalent to their top left vertical morphisms being weak equivalences. Factor these top left morphisms functorially as cofibrations followed by acyclic fibrations. Then the statement that the squares are homotopy pullbacks is equivalent to those top left cofibrations being acyclic. Now the claim follows using that the retract of an acyclic cofibration is an acyclic cofibration (prop. ).
$\,$
The ordinary fiber, example , of a morphism has the property that taking it twice is always trivial:
This is crucially different for the homotopy fiber, def. . Here we discuss how this comes about and what the consequences are.
Let $\mathcal{C}_f$ be a category of fibrant objects of a model category, def. and let $f \colon X \longrightarrow Y$ be a morphism in its category of pointed objects, def. . Then the homotopy fiber of its homotopy fiber, def. , is isomorphic, in $Ho(\mathcal{C}^{\ast/})$, to the loop space object $\Omega Y$ of $Y$ (def. , prop. ):
Assume without restriction that $f \;\colon\; X \longrightarrow Y$ is already a fibration between fibrant objects in $\mathcal{C}$ (otherwise replace and rename). Then its homotopy fiber is its ordinary fiber, sitting in a pullback square
In order to compute $hofib(hofib(f))$, i.e. $hofib(i)$, we need to replace the fiber inclusion $i$ by a fibration. Using the factorization lemma for this purpose yields, after a choice of path space object $Path(X)$ (def. ), a replacement of the form
Hence $hofib(i)$ is the ordinary fiber of this map:
Notice that
because of the pasting law:
Hence
Now we claim that there is a choice of path space objects $Path(X)$ and $Path(Y)$ such that this model for the homotopy fiber (as an object in $\mathcal{C}^{\ast/}$) sits in a pullback diagram of the following form:
By the pasting law and the pullback stability of acyclic fibrations, this will prove the claim.
To see that the bottom square here is indeed a pullback, check the universal property: A morphism out of any $A$ into $\ast \underset{Y \times X}{\times} Path(Y) \times_Y X$ is a morphism $a \colon A \to Path(Y)$ and a morphism $b \colon A \to X$ such that $p_0(a) = \ast$, $p_1(a) = f(b)$ and $b = \ast$. Hence it is equivalently just a morphism $a \colon A \to Path(Y)$ such that $p_0(a) = \ast$ and $p_1(a) = \ast$. This is the defining universal property of $\Omega Y \coloneqq \ast \underset{Y}{\times} Path(Y) \underset{Y}{\times} \ast$.
Now to construct the right vertical morphism in the top square (Quillen 67, page 3.1): Let $Path(Y)$ be any path space object for $Y$ and let $Path(X)$ be given by a factorization
and regarded as a path space object of $X$ by further comoposing with
We need to show that $Path(X)\to Path(Y) \times_Y X$ is an acyclic fibration.
It is a fibration because $X\times_Y Path(Y) \times_Y X \to Path(Y)\times_Y X$ is a fibration, this being the pullback of the fibration $X \overset{f}{\to} Y$.
To see that it is also a weak equivalence, first observe that $Path(Y)\times_Y X \overset{\in W \cap Fib}{\longrightarrow} X$, this being the pullback of the acyclic fibration of lemma . Hence we have a factorization of the identity as
and so finally the claim follows by two-out-of-three (def. ).
There is a conceptual way to understand prop. as follows: If we draw double arrows to indicate homotopies, then a homotopy fiber (def. ) is depicted by the following filled square:
just like the ordinary fiber (example ) is given by a plain square
One may show that just like the fiber is the universal solution to making such a commuting square (a pullback limit cone def. ), so the homotopy fiber is the universal solution up to homotopy to make such a commuting square up to homotopy – a homotopy pullback homotopy limit cone.
Now just like ordinary pullbacks satisfy the pasting law saying that attaching two pullback squares gives a pullback rectangle, the analogue is true for homotopy pullbacks. This implies that if we take the homotopy fiber of a homotopy fiber, thereby producing this double homotopy pullback square
then the total outer rectangle here is itself a homotopy pullback. But the outer rectangle exhibits the homotopy fiber of the point inclusion, which, via def. and lemma , is the loop space object:
(long homotopy fiber sequences)
Let $\mathcal{C}$ be a model category and let $f \colon X \to Y$ be morphism in the pointed homotopy category $Ho(\mathcal{C}^{\ast/})$ (prop. ). Then:
There is a long sequence to the left in $\mathcal{C}^{\ast/}$ of the form
where each morphism is the homotopy fiber (def. ) of the following one: the homotopy fiber sequence of $f$. Here $\overline{\Omega}f$ denotes $\Omega f$ followed by forming inverses with respect to the group structure on $\Omega(-)$ from prop. .
Moreover, for $A\in \mathcal{C}^{\ast/}$ any object, then there is a long exact sequence
of pointed sets, where $[-,-]_\ast$ denotes the pointed set valued hom-functor of example .
Dually, there is a long sequence to the right in $\mathcal{C}^{\ast/}$ of the form
where each morphism is the homotopy cofiber (def. ) of the previous one: the homotopy cofiber sequence of $f$. Moreover, for $A\in \mathcal{C}^{\ast/}$ any object, then there is a long exact sequence
of pointed sets, where $[-,-]_\ast$ denotes the pointed set valued hom-functor of example .
That there are long sequences of this form is the result of combining prop. and prop. .
It only remains to see that it is indeed the morphisms $\overline{\Omega} f$ that appear, as indicated.
In order to see this, it is convenient to adopt the following notation: for $f \colon X \to Y$ a morphism, then we denote the collection of generalized element of its homotopy fiber as
indicating that these elements are pairs consisting of an element $x$ of $X$ and a “path” (an element of the given path space object) from $f(x)$ to the basepoint.
This way the canonical map $hofib(f) \to X$ is $(x, f(x) \rightsquigarrow \ast) \mapsto x$. Hence in this notation the homotopy fiber of the homotopy fiber reads
This identifies with $\Omega Y$ by forming the loops
where the overline denotes reversal and the dot denotes concatenation.
Then consider the next homotopy fiber
where on the right we have a path in $hofib(f)$ from $(x, f(x)\overset{\gamma_1}{\rightsquigarrow} \ast)$ to the basepoint element. This is a path $\gamma_3$ together with a path-of-paths which connects $f_1$ to $f(\gamma_3)$.
By the above convention this is identified with the loop in $X$ which is
But the map to $hofib(hofib(f))$ sends this data to $( (x, f(x) \overset{\gamma_1}{\rightsquigarrow} \ast), x \overset{\gamma_2}{\rightsquigarrow} \ast )$, hence to the loop
hence to the reveral of the image under $f$ of the loop in $X$.
In (Quillen 67, I.3, prop. 3, prop. 4) more is shown than stated in prop. : there the connecting homomorphism $\Omega Y \to hofib(f)$ is not just shown to exist, but is described in detail via an action of $\Omega Y$ on $hofib(f)$ in $Ho(\mathcal{C})$. This takes a good bit more work. For our purposes here, however, it is sufficient to know that such a morphism exists at all, hence that $\Omega Y \simeq hofib(hofib(f))$.
Let $\mathcal{C} = (Top_{cg})_{Quillen}$ be the classical model structure on topological spaces (compactly generated) from theorem , theorem . Then using the standard pointed topological path space objects $Maps(I_+,X)$ from def. and example as the abstract path space objects in def. , via prop. , this gives that
is the $n$th homotopy group, def. , of $X$ at its basepoint.
Hence using $A = \ast$ in the first item of prop. , the long exact sequence this gives is of the form
This is called the long exact sequence of homotopy groups induced by $f$.
As we pass to stable homotopy theory (in Part 1)), the long exact sequences in example become long not just to the left, but also to the right. Given then a tower of fibrations, there is an induced sequence of such long exact sequences of homotopy groups, which organizes into an exact couple. For more on this see at Interlude – Spectral sequences (this remark).
Let again $\mathcal{C} = (Top_{cg})_{Quillen}$ be the classical model structure on topological spaces (compactly generated) from theorem , theorem , as in example . For $E \in Top_{cg}^{\ast/}$ any pointed topological space and $i \colon A \hookrightarrow X$ an inclusion of pointed topological spaces, the exactness of the sequence in the second item of prop.
gives that the functor
behaves like one degree in an additive reduced cohomology theory (def.). The Brown representability theorem (thm.) implies that all additive reduced cohomology theories are degreewise representable this way (prop.).
$\,$
This section first recalls relevant concepts from actual topology (“point-set topology”) and highlights facts that motivate the axiomatics of model categories below. We prove two technical lemmas (lemma and lemma ) that serve to establish the abstract homotopy theory of topological spaces further below.
Then we discuss how the category Top of topological spaces satisfies the axioms of abstract homotopy theory (model category) theory, def. .
Literature (Hirschhorn 15)
$\,$
Throughout, let Top denote the category whose objects are topological spaces and whose morphisms are continuous functions between them. Its isomorphisms are the homeomorphisms.
(Further below we restrict attention to the full subcategory of compactly generated topological spaces.)
To begin with, we recall some basics on universal constructions in Top: limits and colimits of diagrams of topological spaces; exponential objects.
We now discuss limits and colimits (Def. ) in $\mathcal{C}=$ Top. The key for understanding these is the fact that there are initial and final topologies:
Let $\{X_i = (S_i,\tau_i) \in Top\}_{i \in I}$ be a set of topological spaces, and let $S \in Set$ be a bare set. Then
For $\{S \stackrel{f_i}{\to} S_i \}_{i \in I}$ a set of functions out of $S$, the initial topology $\tau_{initial}(\{f_i\}_{i \in I})$ is the topology on $S$ with the minimum collection of open subsets such that all $f_i \colon (S,\tau_{initial}(\{f_i\}_{i \in I}))\to X_i$ are continuous.
For $\{S_i \stackrel{f_i}{\to} S\}_{i \in I}$ a set of functions into $S$, the final topology $\tau_{final}(\{f_i\}_{i \in I})$ is the topology on $S$ with the maximum collection of open subsets such that all $f_i \colon X_i \to (S,\tau_{final}(\{f_i\}_{i \in I}))$ are continuous.
For $X$ a single topological space, and $\iota_S \colon S \hookrightarrow U(X)$ a subset of its underlying set, then the initial topology $\tau_{intial}(\iota_S)$, def. , is the subspace topology, making
a topological subspace inclusion.
Conversely, for $p_S \colon U(X) \longrightarrow S$ an epimorphism, then the final topology $\tau_{final}(p_S)$ on $S$ is the quotient topology.
Let $I$ be a small category and let $X_\bullet \colon I \longrightarrow Top$ be an $I$-diagram in Top (a functor from $I$ to $Top$), with components denoted $X_i = (S_i, \tau_i)$, where $S_i \in Set$ and $\tau_i$ a topology on $S_i$. Then:
The limit of $X_\bullet$ exists and is given by the topological space whose underlying set is the limit in Set of the underlying sets in the diagram, and whose topology is the initial topology, def. , for the functions $p_i$ which are the limiting cone components:
Hence
The colimit of $X_\bullet$ exists and is the topological space whose underlying set is the colimit in Set of the underlying diagram of sets, and whose topology is the final topology, def. for the component maps $\iota_i$ of the colimiting cocone
Hence
(e.g. Bourbaki 71, section I.4)
The required universal property of $\left(\underset{\longleftarrow}{\lim}_{i \in I} S_i,\; \tau_{initial}(\{p_i\}_{i \in I})\right)$ (def. ) is immediate: for
any cone over the diagram, then by construction there is a unique function of underlying sets $S \longrightarrow \underset{\longleftarrow}{\lim}_{i \in I} S_i$ making the required diagrams commute, and so all that is required is that this unique function is always continuous. But this is precisely what the initial topology ensures.
The case of the colimit is formally dual.
The limit over the empty diagram in $Top$ is the point $\ast$ with its unique topology.
For $\{X_i\}_{i \in I}$ a set of topological spaces, their coproduct $\underset{i \in I}{\sqcup} X_i \in Top$ is their disjoint union.
In particular:
For $S \in Set$, the $S$-indexed coproduct of the point, $\underset{s \in S}{\coprod}\ast$ is the set $S$ itself equipped with the final topology, hence is the discrete topological space on $S$.
For $\{X_i\}_{i \in I}$ a set of topological spaces, their product $\underset{i \in I}{\prod} X_i \in Top$ is the Cartesian product of the underlying sets equipped with the product topology, also called the Tychonoff product.
In the case that $S$ is a finite set, such as for binary product spaces $X \times Y$, then a sub-basis for the product topology is given by the Cartesian products of the open subsets of (a basis for) each factor space.
The equalizer of two continuous functions $f, g \colon X \stackrel{\longrightarrow}{\longrightarrow} Y$ in $Top$ is the equalizer of the underlying functions of sets
(hence the largets subset of $S_X$ on which both functions coincide) and equipped with the subspace topology, example .
The coequalizer of two continuous functions $f, g \colon X \stackrel{\longrightarrow}{\longrightarrow} Y$ in $Top$ is the coequalizer of the underlying functions of sets
(hence the quotient set by the equivalence relation generated by $f(x) \sim g(x)$ for all $x \in X$) and equipped with the quotient topology, example .
For
two continuous functions out of the same domain, then the colimit under this diagram is also called the pushout, denoted
(Here $g_\ast f$ is also called the pushout of $f$, or the cobase change of $f$ along $g$.)
This is equivalently the coequalizer of the two morphisms from $A$ to the coproduct of $X$ with $Y$ (example ):
If $g$ is an inclusion, one also writes $X \cup_f Y$ and calls this the attaching space.
By example the pushout/attaching space is the quotient topological space
of the disjoint union of $X$ and $Y$ subject to the equivalence relation which identifies a point in $X$ with a point in $Y$ if they have the same pre-image in $A$.
(graphics from Aguilar-Gitler-Prieto 02)
Notice that the defining universal property of this colimit means that completing the span
to a commuting square
is equivalent to finding a morphism
For $A\hookrightarrow X$ a topological subspace inclusion, example , then the pushout
is the quotient space or cofiber, denoted $X/A$.
An important special case of example :
For $n \in \mathbb{N}$ write
$D^n \coloneqq \{ \vec x\in \mathbb{R}^n | \; {\vert \vec x \vert \leq 1}\} \hookrightarrow \mathbb{R}^n$ for the standard topological n-disk (equipped with its subspace topology as a subset of Cartesian space);
$S^{n-1} = \partial D^n \coloneqq \{ \vec x\in \mathbb{R}^n | \; {\vert \vec x \vert = 1}\} \hookrightarrow \mathbb{R}^n$ for its boundary, the standard topological n-sphere.
Notice that $S^{-1} = \emptyset$ and that $S^0 = \ast \sqcup \ast$.
Let
be the canonical inclusion of the standard (n-1)-sphere as the boundary of the standard n-disk (both regarded as topological spaces with their subspace topology as subspaces of the Cartesian space $\mathbb{R}^n$).
Then the colimit in Top under the diagram
i.e. the pushout of $i_n$ along itself, is the n-sphere $S^n$:
(graphics from Ueno-Shiga-Morita 95)
Another kind of colimit that will play a role for certain technical constructions is transfinite composition. First recall
A partial order is a set $S$ equipped with a relation $\leq$ such that for all elements $a,b,c \in S$
1) (reflexivity) $a \leq a$;
2) (transitivity) if $a \leq b$ and $b \leq c$ then $a \leq c$;
3) (