simplicial.tex

\input{preamble}

% OK, start here.
%
\begin{document}

\title{Simplicial Methods}


\maketitle

\phantomsection
\label{section-phantom}

\tableofcontents

\section{Introduction}
\label{section-introduction}

\noindent
This is a minimal introduction to simplicial methods.
We just add here whenever something is needed later on.
A general reference to this material is perhaps \cite{SimpHom}.
An example of the things you can do is the paper
by Quillen on Homotopical Algebra, see \cite{Quillen}
or the paper on \'Etale Homotopy by Artin and Mazur, see \cite{ArtinMazur}.

\section{The category of finite ordered sets}
\label{section-Delta}

\noindent
The category $\Delta$ is the category with
\begin{enumerate}
\item objects $[0], [1], [2], \ldots$ with
$[n] = \{0, 1, 2, \ldots, n\}$ and
\item a morphism $[n] \to [m]$ is a nondecreasing map
$\{0, 1, 2, \ldots, n\} \to \{0, 1, 2, \ldots, m\}$
between the corresponding sets.
\end{enumerate}
Here {\it nondecreasing} for a map $\varphi : [n] \to [m]$
means by definition that $\varphi(i) \geq \varphi(j)$ if $i \geq j$.
In other words, $\Delta$ is a category equivalent to the
``big'' category of finite totally ordered sets and nondecreasing maps.
There are exactly $n + 1$ morphisms $[0] \to [n]$ and
there is exactly $1$ morphism $[n] \to [0]$. There are
exactly $(n + 1)(n + 2)/2$ morphisms $[1] \to [n]$ and there are
exactly $n + 2$ morphisms $[n] \to [1]$. And so on and so forth.

\begin{definition}
\label{definition-face-degeneracy}
For any integer $n\geq 1$, and any $0\leq j \leq n$ we let
{\it $\delta^n_j : [n-1] \to [n]$}
denote the injective order preserving map skipping $j$. For any
integer $n\geq 0$, and any $0\leq j \leq n$ we denote
{\it $\sigma^n_j : [n + 1]  \to [n]$}
the surjective order preserving map with
$(\sigma^n_j)^{-1}(\{j\}) = \{j, j + 1\}$.
\end{definition}

\begin{lemma}
\label{lemma-face-degeneracy}
Any morphism in $\Delta$ can be written as a composition
of the morphisms $\delta^n_j$ and $\sigma^n_j$.
\end{lemma}

\begin{proof}
Let $\varphi : [n] \to [m]$ be a morphism of $\Delta$.
If $j \not \in \text{Im}(\varphi)$, then we can write
$\varphi$ as $\delta^m_j \circ \psi$ for some morphism
$\psi : [n] \to [m - 1]$. If $\varphi(j) = \varphi(j + 1)$
then we can write $\varphi$ as $\psi \circ \sigma^{n - 1}_j$
for some morphism $\psi : [n - 1] \to [m]$.
The result follows because each replacement
as above lowers $n + m$ and hence at some point
$\varphi$ is both injective and surjective, hence
an identity morphism.
\end{proof}

\begin{lemma}
\label{lemma-relations-face-degeneracy}
The morphisms $\delta^n_j$ and $\sigma^n_j$ satisfy the following relations.
\begin{enumerate}
\item If $0 \leq i < j \leq n + 1$, then
$\delta^{n + 1}_j \circ \delta^n_i =
\delta^{n + 1}_i \circ \delta^n_{j - 1}$.
In other words the diagram
$$
\xymatrix{
& [n] \ar[rd]^{\delta^{n + 1}_j} & \\
[n - 1] \ar[ru]^{\delta^n_i} \ar[rd]_{\delta^n_{j - 1}} & &
[n + 1] \\
& [n] \ar[ru]_{\delta^{n + 1}_i} &
}
$$
commutes.
\item If $0 \leq i < j \leq n - 1$, then
$\sigma^{n - 1}_j \circ \delta^n_i =
\delta^{n - 1}_i \circ \sigma^{n - 2}_{j - 1}$.
In other words the diagram
$$
\xymatrix{
& [n] \ar[rd]^{\sigma^{n - 1}_j} & \\
[n - 1] \ar[ru]^{\delta^n_i} \ar[rd]_{\sigma^{n - 2}_{j - 1}} & &
[n - 1] \\
& [n - 2] \ar[ru]_{\delta^{n - 1}_i} &
}
$$
commutes.
\item If $0 \leq j \leq n - 1$, then
$\sigma^{n - 1}_j \circ \delta^n_j = \text{id}_{[n - 1]}$
and
$\sigma^{n - 1}_j \circ \delta^n_{j + 1} = \text{id}_{[n - 1]}$.
In other words the diagram
$$
\xymatrix{
& [n] \ar[rd]^{\sigma^{n - 1}_j} & \\
[n - 1]
\ar[ru]^{\delta^n_j}
\ar[rd]_{\delta^n_{j + 1}}
\ar[rr]^{\text{id}_{[n - 1]}} & & [n - 1] \\
& [n] \ar[ru]_{\sigma^{n - 1}_j} &
}
$$
commutes.
\item If $0 < j + 1 < i \leq n$, then
$\sigma^{n - 1}_j \circ \delta^n_i =
\delta^{n - 1}_{i - 1} \circ \sigma^{n - 2}_j$.
In other words the diagram
$$
\xymatrix{
& [n] \ar[rd]^{\sigma^{n - 1}_j} & \\
[n - 1] \ar[ru]^{\delta^n_i} \ar[rd]_{\sigma^{n - 2}_j} & &
[n - 1] \\
& [n - 2] \ar[ru]_{\delta^{n - 1}_{i - 1}} &
}
$$
commutes.
\item If $0 \leq i \leq j \leq n - 1$, then
$\sigma^{n - 1}_j \circ \sigma^n_i =
\sigma^{n - 1}_i \circ \sigma^n_{j + 1}$.
In other words the diagram
$$
\xymatrix{
& [n] \ar[rd]^{\sigma^{n - 1}_j} & \\
[n + 1] \ar[ru]^{\sigma^n_i} \ar[rd]_{\sigma^n_{j + 1}} & &
[n - 1] \\
& [n] \ar[ru]_{\sigma^{n - 1}_i} &
}
$$
commutes.
\end{enumerate}
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-face-degeneracy-category}
The category $\Delta$ is the universal category
with objects $[n]$, $n \geq 0$ and morphisms
$\delta^n_j$ and $\sigma^n_j$ such that (a) every morphism is
a composition of these morphisms, (b) the relations
listed in Lemma \ref{lemma-relations-face-degeneracy} are satisfied,
and (c) any relation among the morphisms is a consequence of
those relations.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}







\section{Simplicial objects}
\label{section-simplicial-object}

\begin{definition}
\label{definition-simplicial-object}
Let $\mathcal{C}$ be a category.
\begin{enumerate}
\item A {\it simplicial object $U$ of $\mathcal{C}$}
is a contravariant functor $U$ from $\Delta$ to
$\mathcal{C}$, in a formula:
$$
U : \Delta^{opp} \longrightarrow \mathcal{C}
$$
\item If $\mathcal{C}$ is the category of sets, then we call
$U$ a {\it simplicial set}.
\item If $\mathcal{C}$ is the category of abelian groups,
then we call $U$ a {\it simplicial abelian group}.
\item A {\it morphism of simplicial objects $U \to U'$}
is a transformation of functors.
\item The {\it category of simplicial objects of $\mathcal{C}$}
is denoted $\text{Simp}(\mathcal{C})$.
\end{enumerate}
\end{definition}

\noindent
This means there are objects $U([0]), U([1]), U([2]), \ldots$
and for $\varphi$ any nondecreasing map $\varphi : [m] \to [n]$
a morphism $U(\varphi) : U([n]) \to U([m])$, satisfying
$U(\varphi \circ \psi) = U(\psi) \circ U(\varphi)$.

\medskip\noindent
In particular there is a unique morphism $U([0]) \to U([n])$ and there are
exactly $n + 1$ morphisms $U([n]) \to U([0])$ corresponding to
the $n + 1$ maps $[0] \to [n]$. Obviously we need some more notation
to be able to talk
intelligently about these simplicial objects. We do this by considering
the morphisms we singled out in Section \ref{section-Delta} above.

\begin{lemma}
\label{lemma-characterize-simplicial-object}
Let $\mathcal{C}$ be a category.
\begin{enumerate}
\item Given a simplicial object $U$ in $\mathcal{C}$
we obtain a sequence of objects $U_n = U([n])$ endowed
with the morphisms $d^n_j = U(\delta^n_j) : U_n \to U_{n-1}$ and
$s^n_j = U(\sigma^n_j) : U_n \to U_{n + 1}$. These morphisms
satisfy the opposites of the relations displayed in
Lemma \ref{lemma-relations-face-degeneracy}.
\item Conversely, given a sequence of objects $U_n$ and morphisms
$d^n_j$, $s^n_j$ satisfying these relations there exists a unique
simplicial object $U$ in $\mathcal{C}$ such that $U_n = U([n])$,
$d^n_j = U(\delta^n_j)$, and $s^n_j = U(\sigma^n_j)$.
\item A morphism between simplicial objects $U$ and $U'$
is given by a family of morphisms $U_n \to U'_n$ commuting
with the morphisms $d^n_j$ and $s^n_j$.
\end{enumerate}
\end{lemma}

\begin{proof}
This follows from Lemma \ref{lemma-face-degeneracy-category}.
\end{proof}

\begin{remark}
\label{remark-relations}
By abuse of notation we sometimes write $d_i : U_n \to U_{n - 1}$
instead of $d^n_i$, and similarly for $s_i : U_n \to U_{n + 1}$.
The relations among the morphisms $d^n_i$ and $s^n_i$
may be expressed as follows:
\begin{enumerate}
\item If $i < j$, then $d_i \circ d_j = d_{j - 1} \circ d_i$.
\item If $i < j$, then $d_i \circ s_j = s_{j - 1} \circ d_i$.
\item We have $\text{id} = d_j \circ s_j = d_{j + 1} \circ s_j$.
\item If $i > j + 1$, then $d_i \circ s_j = s_j \circ d_{i - 1}$.
\item If $i \leq j$, then $s_i \circ s_j = s_{j + 1} \circ s_i$.
\end{enumerate}
This means that whenever the compositions on both the left and the
right are defined then the corresponding equality should hold.
\end{remark}

\noindent
We get a unique morphism $s^0_0 = U(\sigma^0_0) : U_0 \to U_1$ and
two morphisms $d^1_0 = U(\delta^1_0)$, and
$d^1_1 = U(\delta^1_1)$ which are morphisms $U_1 \to U_0$.
There are two morphisms $s^1_0 = U(\sigma^1_0)$, $s^1_1 = U(\sigma^1_1)$
which are morphisms $U_1 \to U_2$. Three morphisms
$d^2_0 = U(\delta^2_0)$, $d^2_1 = U(\delta^2_1)$, $d^2_2 = U(\delta^2_2)$
which are morphisms $U_3 \to U_2$. And so on.

\medskip\noindent
Pictorially we think of $U$ as follows:
$$
\xymatrix{
U_2
\ar@<2ex>[r]
\ar@<0ex>[r]
\ar@<-2ex>[r]
&
U_1
\ar@<1ex>[r]
\ar@<-1ex>[r]
\ar@<1ex>[l]
\ar@<-1ex>[l]
&
U_0
\ar@<0ex>[l]
}
$$
Here the $d$-morphisms are the arrows pointing right and the
$s$-morphisms are the arrows pointing left.

\begin{example}
\label{example-constant-simplicial-object}
The simplest example is the {\it constant} simplicial object with
value $X \in \Ob(\mathcal{C})$. In other words, $U_n = X$ and
all maps are $\text{id}_X$.
\end{example}

\begin{example}
\label{example-fibre-products-simplicial-object}
Suppose that $Y\to X$ is a morphism of $\mathcal{C}$ such that all
the fibred products $Y \times_X Y \times_X \ldots \times_X Y$ exist.
Then we set $U_n$ equal to the $(n + 1)$-fold fibre product,
and we let $\varphi: [n] \to [m]$ correspond to the map
(on ``coordinates'')
$(y_0, \ldots, y_m) \mapsto (y_{\varphi(0)}, \ldots, y_{\varphi(n)})$.
In other words, the map $U_0 = Y \to U_1 = Y \times_X Y$ is the
diagonal map. The two maps $U_1 = Y \times_X Y \to U_0 = Y$ are the
projection maps.
\end{example}

\noindent
Geometrically Example \ref{example-fibre-products-simplicial-object}
above is an important example. It tells us that it is a good
idea to think of the maps $d^n_j : U_n \to U_{n - 1}$
as projection maps (forgetting the $j$th component),
and to think of the maps $s^n_j : U_n \to U_{n + 1}$
as diagonal maps (repeating the $j$th coordinate).
We will return to this in the sections below.

\begin{lemma}
\label{lemma-si-injective}
Let $\mathcal{C}$ be a category.
Let $U$ be a simplicial object of $\mathcal{C}$.
Each of the morphisms $s^n_i : U_n \to U_{n + 1}$
has a left inverse. In particular $s^n_i$ is a monomorphism.
\end{lemma}

\begin{proof}
This is true because $d_i^{n + 1} \circ s^n_i = \text{id}_{U_n}$.
\end{proof}

\section{Simplicial objects as presheaves}
\label{section-simplicial-presheaves}

\noindent
Another observation is that we may think of a simplicial
object of $\mathcal{C}$ as a presheaf with values in $\mathcal{C}$
over $\Delta$. See
Sites, Definition \ref{sites-definition-presheaf}.
And in fact, if $U$, $U'$ are simplicial objects
of $\mathcal{C}$, then we have
\begin{equation}
\label{equation-simplicial-set-presheaf}
\Mor(U, U') = \Mor_{\textit{PSh}(\Delta)}(U, U').
\end{equation}
Some of the material below could be replace by the more
general constructions in the chapter on sites.
However, it seems a clearer picture arises from the
arguments specific to simplicial objects.
















\section{Cosimplicial objects}
\label{section-cosimplicial-object}

\noindent
A cosimplicial object of a category $\mathcal{C}$ could
be defined simply as a simplicial object of the
opposite category $\mathcal{C}^{opp}$. This is not
really how the human brain works, so we introduce
them separately here and point out some simple
properties.

\begin{definition}
\label{definition-cosimplicial-object}
Let $\mathcal{C}$ be a category.
\begin{enumerate}
\item A {\it cosimplicial object $U$ of $\mathcal{C}$}
is a covariant functor $U$ from $\Delta$ to
$\mathcal{C}$, in a formula:
$$
U : \Delta \longrightarrow \mathcal{C}
$$
\item If $\mathcal{C}$ is the category of sets, then we call
$U$ a {\it cosimplicial set}.
\item If $\mathcal{C}$ is the category of abelian groups,
then we call $U$ a {\it cosimplicial abelian group}.
\item A {\it morphism of cosimplicial objects $U \to U'$}
is a transformation of functors.
\item The {\it category of cosimplicial objects of $\mathcal{C}$}
is denoted $\text{CoSimp}(\mathcal{C})$.
\end{enumerate}
\end{definition}

\noindent
This means there are objects $U([0]), U([1]), U([2]), \ldots$
and for $\varphi$ any nondecreasing map $\varphi : [m] \to [n]$
a morphism $U(\varphi) : U([m]) \to U([n])$, satisfying
$U(\varphi \circ \psi) = U(\varphi) \circ U(\psi)$.

\medskip\noindent
In particular there is a unique morphism $U([n]) \to U([0])$ and there are
exactly $n + 1$ morphisms $U([0]) \to U([n])$ corresponding to
the $n + 1$ maps $[0] \to [n]$. Obviously we need some more notation
to be able to talk intelligently about these simplicial objects.
We do this by considering the morphisms we singled out in
Section \ref{section-Delta} above.

\begin{lemma}
\label{lemma-characterize-cosimplicial-object}
Let $\mathcal{C}$ be a category.
\begin{enumerate}
\item Given a cosimplicial object $U$ in $\mathcal{C}$
we obtain a sequence of objects $U_n = U([n])$ endowed
with the morphisms $\delta^n_j = U(\delta^n_j) : U_{n - 1} \to U_n$ and
$\sigma^n_j = U(\sigma^n_j) : U_{n + 1} \to U_n$. These morphisms
satisfy the relations displayed in
Lemma \ref{lemma-relations-face-degeneracy}.
\item Conversely, given a sequence of objects $U_n$ and morphisms
$\delta^n_j$, $\sigma^n_j$ satisfying these relations there exists a unique
cosimplicial object $U$ in $\mathcal{C}$ such that $U_n = U([n])$,
$\delta^n_j = U(\delta^n_j)$, and $\sigma^n_j = U(\sigma^n_j)$.
\item A morphism between cosimplicial objects $U$ and $U'$
is given by a family of morphisms $U_n \to U'_n$ commuting
with the morphisms $\delta^n_j$ and $\sigma^n_j$.
\end{enumerate}
\end{lemma}

\begin{proof}
This follows from Lemma \ref{lemma-face-degeneracy-category}.
\end{proof}

\begin{remark}
\label{remark-relations-cosimplicial}
By abuse of notation we sometimes write $\delta_i : U_{n - 1} \to U_n$
instead of $\delta^n_i$, and similarly for $\sigma_i : U_{n + 1} \to U_n$.
The relations among the morphisms $\delta^n_i$ and $\sigma^n_i$
may be expressed as follows:
\begin{enumerate}
\item If $i < j$, then
$\delta_j \circ \delta_i = \delta_i \circ \delta_{j - 1}$.
\item If $i < j$, then
$\sigma_j \circ \delta_i = \delta_i \circ \sigma_{j - 1}$.
\item We have
$\text{id} = \sigma_j \circ \delta_j = \sigma_j \circ \delta_{j + 1}$.
\item If $i > j + 1$, then
$\sigma_j \circ \delta_i = \delta_{i - 1} \circ \sigma_j$.
\item If $i \leq j$, then
$\sigma_j \circ \sigma_i = \sigma_i \circ \sigma_{j + 1}$.
\end{enumerate}
This means that whenever the compositions on both the left and the
right are defined then the corresponding equality should hold.
\end{remark}

\noindent
We get a unique morphism $\sigma^0_0 = U(\sigma^0_0) : U_1 \to U_0$ and
two morphisms $\delta^1_0 = U(\delta^1_0)$, and
$\delta^1_1 = U(\delta^1_1)$ which are morphisms $U_0 \to U_1$.
There are two morphisms
$\sigma^1_0 = U(\sigma^1_0)$, $\sigma^1_1 = U(\sigma^1_1)$
which are morphisms $U_2 \to U_1$. Three morphisms
$\delta^2_0 = U(\delta^2_0)$, $\delta^2_1 = U(\delta^2_1)$,
$\delta^2_2 = U(\delta^2_2)$
which are morphisms $U_2 \to U_3$. And so on.

\medskip\noindent
Pictorially we think of $U$ as follows:
$$
\xymatrix{
U_0
\ar@<1ex>[r]
\ar@<-1ex>[r]
&
U_1
\ar@<0ex>[l]
\ar@<2ex>[r]
\ar@<0ex>[r]
\ar@<-2ex>[r]
&
U_2
\ar@<1ex>[l]
\ar@<-1ex>[l]
}
$$
Here the $\delta$-morphisms are the arrows pointing right and the
$\sigma$-morphisms are the arrows pointing left.

\begin{example}
\label{example-constant-cosimplicial-object}
The simplest example is the {\it constant} cosimplicial object with
value $X \in \Ob(\mathcal{C})$. In other words, $U_n = X$ and
all maps are $\text{id}_X$.
\end{example}

\begin{example}
\label{example-push-outs-simplicial-object}
Suppose that $Y\to X$ is a morphism of $C$ such that all
the pushouts $Y\coprod_X Y \coprod_X \ldots \coprod_X Y$ exist.
Then we set $U_n$ equal to the $(n + 1)$-fold pushout,
and we let $\varphi: [n] \to [m]$ correspond to the map
$$
(y \text{ in }i\text{th component})
\mapsto
(y \text{ in }\varphi(i)\text{th component})
$$
on ``coordinates''.
In other words, the map $U_1 = Y \coprod_X Y \to U_0 = Y$ is the
identity on each component.
The two maps $U_0 = Y \to U_1 = Y \coprod_X Y$ are the two
natural maps.
\end{example}

\begin{lemma}
\label{lemma-di-injective}
Let $\mathcal{C}$ be a category.
Let $U$ be a cosimplicial object of $\mathcal{C}$.
Each of the morphisms $\delta^n_i : U_{n - 1} \to U_n$
has a left inverse. In particular $\delta^n_i$ is a monomorphism.
\end{lemma}

\begin{proof}
This is true because
$\sigma_i^{n - 1} \circ \delta^n_i = \text{id}_{U_n}$
for $j < n$.
\end{proof}


























\section{Products of simplicial objects}
\label{section-products}

\noindent
Of course we should define the product of simplicial objects
as the product in the category of simplicial objects. This
may lead to the potentially confusing situation where the product exists
but is not described as below. To avoid this we define the product
directly as follows.

\begin{definition}
\label{definition-product}
Let $\mathcal{C}$ be a category.
Let $U$ and $V$ be simplicial objects of $\mathcal{C}$.
Assume the products $U_n \times V_n$ exist in $\mathcal{C}$.
The {\it product of $U$ and $V$} is the simplicial object
$U \times V$ defined as follows:
\begin{enumerate}
\item $(U \times V)_n = U_n \times V_n$,
\item $d^n_i = (d^n_i, d^n_i)$, and
\item $s^n_i = (s^n_i, s^n_i)$.
\end{enumerate}
In other words, $U \times V$ is the product of the presheaves
$U$ and $V$ on $\Delta$.
\end{definition}

\begin{lemma}
\label{lemma-product}
If $U$ and $V$ are simplicial objects in the category $\mathcal{C}$,
and if $U \times V$ exists, then we have
$$
\Mor(W, U \times V) =
\Mor(W, U) \times
\Mor(W, V)
$$
for any third simplicial object $W$ of $\mathcal{C}$.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}


\section{Fibre products of simplicial objects}
\label{section-fibre-products}

\noindent
Of course we should define the fibre product of simplicial objects
as the fibre product in the category of simplicial objects. This
may lead to the potentially confusing situation where the
fibre product exists but is not described as below. To avoid
this we define the fibre product directly as follows.

\begin{definition}
\label{definition-fibre-product}
Let $\mathcal{C}$ be a category.
Let $U, V, W$ be simplicial objects of $\mathcal{C}$.
Let $a : V \to U$, $b : W \to U$ be morphisms.
Assume the fibre products $V_n \times_{U_n} W_n$ exist in $\mathcal{C}$.
The {\it fibre product of $V$ and $W$ over $U$} is the simplicial object
$V \times_U W$ defined as follows:
\begin{enumerate}
\item $(V \times_U W)_n = V_n \times_{U_n} W_n$,
\item $d^n_i = (d^n_i, d^n_i)$, and
\item $s^n_i = (s^n_i, s^n_i)$.
\end{enumerate}
In other words, $V \times_U W$ is the fibre product of the presheaves
$V$ and $W$ over the presheaf $U$ on $\Delta$.
\end{definition}

\begin{lemma}
\label{lemma-fibre-product}
If $U, V, W$ are simplicial objects in the category $\mathcal{C}$,
and if $a : V \to U$, $b : W \to U$ are morphisms
and if $V \times_U W$ exists, then we have
$$
\Mor(T, V \times_U V) =
\Mor(T, V) \times_{\Mor(T, U)}
\Mor(T, W)
$$
for any fourth simplicial object $T$ of $\mathcal{C}$.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\section{Pushouts of simplicial objects}
\label{section-push-outs}

\noindent
Of course we should define the pushout of simplicial objects
as the pushout in the category of simplicial objects. This
may lead to the potentially confusing situation where the
pushouts exist but are not as described below. To avoid
this we define the pushout directly as follows.

\begin{definition}
\label{definition-push-out}
Let $\mathcal{C}$ be a category.
Let $U, V, W$ be simplicial objects of $\mathcal{C}$.
Let $a : U \to V$, $b : U \to W$ be morphisms.
Assume the pushouts $V_n \amalg_{U_n} W_n$ exist in $\mathcal{C}$.
The {\it pushout of $V$ and $W$ over $U$} is the simplicial object
$V\amalg_U W$ defined as follows:
\begin{enumerate}
\item $(V \amalg_U W)_n = V_n \amalg_{U_n} W_n$,
\item $d^n_i = (d^n_i, d^n_i)$, and
\item $s^n_i = (s^n_i, s^n_i)$.
\end{enumerate}
In other words, $V\amalg_U W$ is the pushout of the presheaves
$V$ and $W$ over the presheaf $U$ on $\Delta$.
\end{definition}

\begin{lemma}
\label{lemma-push-out}
If $U, V, W$ are simplicial objects in the category $\mathcal{C}$,
and if $a : U \to V$, $b : U \to W$ are morphisms
and if $V\amalg_U W$ exists, then we have
$$
\Mor(V\amalg_U W, T) =
\Mor(V, T) \times_{\Mor(U, T)}
\Mor(W, T)
$$
for any fourth simplicial object $T$ of $\mathcal{C}$.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}











\section{Products of cosimplicial objects}
\label{section-products-cosimplicial}

\noindent
Of course we should define the product of cosimplicial objects
as the product in the category of cosimplicial objects. This
may lead to the potentially confusing situation where the product exists
but is not described as below. To avoid this we define the product
directly as follows.

\begin{definition}
\label{definition-product-cosimplicial-objects}
Let $\mathcal{C}$ be a category.
Let $U$ and $V$ be cosimplicial objects of $\mathcal{C}$.
Assume the products $U_n \times V_n$ exist in $\mathcal{C}$.
The {\it product of $U$ and $V$} is the cosimplicial object
$U \times V$ defined as follows:
\begin{enumerate}
\item $(U \times V)_n = U_n \times V_n$,
\item for any $\varphi : [n] \to [m]$ the map
$(U \times V)(\varphi) : U_n \times V_n \to U_m \times V_m$
is the product $U(\varphi) \times V(\varphi)$.
\end{enumerate}
\end{definition}

\begin{lemma}
\label{lemma-product-cosimplicial-objects}
If $U$ and $V$ are cosimplicial objects in the category $\mathcal{C}$,
and if $U \times V$ exists, then we have
$$
\Mor(W, U \times V) =
\Mor(W, U) \times
\Mor(W, V)
$$
for any third cosimplicial object $W$ of $\mathcal{C}$.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\section{Fibre products of cosimplicial objects}
\label{section-fibre-products-cosimplicial}

\noindent
Of course we should define the fibre product of cosimplicial objects
as the fibre product in the category of cosimplicial objects. This
may lead to the potentially confusing situation where the product exists
but is not described as below. To avoid this we define the fibre product
directly as follows.

\begin{definition}
\label{definition-fibre-product-cosimplicial-objects}
Let $\mathcal{C}$ be a category.
Let $U, V, W$ be cosimplicial objects of $\mathcal{C}$.
Let $a : V \to U$ and $b : W \to U$ be morphisms.
Assume the fibre products $V_n \times_{U_n} W_n$ exist in $\mathcal{C}$.
The {\it fibre product of $V$ and $W$ over $U$} is the cosimplicial object
$V \times_U W$ defined as follows:
\begin{enumerate}
\item $(V \times_U W)_n = V_n \times_{U_n} W_n$,
\item for any $\varphi : [n] \to [m]$ the map
$(V \times_U W)(\varphi) : V_n \times_{U_n} W_n \to V_m \times_{U_m} W_m$
is the product $V(\varphi) \times_{U(\varphi)} W(\varphi)$.
\end{enumerate}
\end{definition}

\begin{lemma}
\label{lemma-fibre-product-cosimplicial-objects}
If $U, V, W$ are cosimplicial objects in the category $\mathcal{C}$,
and if $a : V \to U$, $b : W \to U$ are morphisms
and if $V \times_U W$ exists, then we have
$$
\Mor(T, V \times_U W) =
\Mor(T, V) \times_{\Mor(T, U)}
\Mor(T, W)
$$
for any fourth cosimplicial object $T$ of $\mathcal{C}$.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}














\section{Simplicial sets}
\label{section-simplicial-set}

\noindent
Let $U$ be a simplicial set. It is a good idea to think of
$U_0$ as the {\it $0$-simplices}, the set $U_1$ as the
{\it $1$-simplices},
the set $U_2$ as the {\it $2$-simplices}, and so on.

\medskip\noindent
We think of the maps $s^n_j : U_n \to U_{n + 1}$ as
the map that associates to an $n$-simplex $A$ the degenerate
$(n + 1)$-simplex $B$ whose $(j, j + 1)$-edge is collapsed
to the vertex $j$ of $A$. We think of the map $d^n_j : U_n \to U_{n - 1}$
as the map that associates to an $n$-simplex $A$ one of the
faces, namely the face that omits the vertex $j$.
In this way it become possible to visualize the relations
among the maps $s^n_j$ and $d^n_j$ geometrically.

\begin{definition}
\label{definition-terminology-simplicial-sets}
Let $U$ be a simplicial set.
We say $x$ is an {\it $n$-simplex of $U$} to signify that
$x$ is an element of $U_n$. We say that $y$ is the $j$the
{\it face of $x$} to signify that $d^n_jx = y$. We say that
$z$ is the $j$th {\it degeneracy of $x$} if $z = s^n_jx$.
A simplex is called {\it degenerate} if it is the degeneracy
of another simplex.
\end{definition}

\noindent
Here are a few fundamental examples.

\begin{example}
\label{example-simplex-simplicial-set}
For every $n \geq 0$ we denote $\Delta[n]$ the simplicial set
\begin{align*}
\Delta^{opp} & \longrightarrow \textit{Sets} \\
[k] & \longmapsto \Mor_{\Delta}([k], [n])
\end{align*}
We leave it to the reader to verify the following statements.
Every $m$-simplex of $\Delta[n]$ with $m > n$ is degenerate.
There is a unique nondegenerate $n$-simplex of $\Delta[n]$,
namely $\text{id}_{[n]}$.
\end{example}

\begin{lemma}
\label{lemma-simplex-map}
Let $U$ be a simplicial set. Let $n \geq 0$ be an integer.
There is a canonical bijection
$$
\Mor(\Delta[n], U)
\longrightarrow
U_n
$$
which maps a morphism $\varphi$ to the value of $\varphi$
on the unique nondegenerate $n$-simplex of $\Delta[n]$.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{example}
\label{example-simplex-category}
Consider the category $\Delta/[n]$ of objects over $[n]$
in $\Delta$, see
Categories, Example \ref{categories-example-category-over-X}.
There is a functor $p : \Delta/[n] \to \Delta$.
The fibre category of $p$ over $[k]$, see
Categories, Section \ref{categories-section-fibred-groupoids},
has as objects the
set $\Delta[n]_k$ of $k$-simplices in $\Delta[n]$, and as
morphisms only identities. For every morphism
$\varphi : [k] \to [l]$ of $\Delta$, and every object $\psi : [l] \to [n]$
in the fibre category over $[l]$ there is a unique
object over $[k]$ with a morphism covering $\varphi$, namely
$\psi \circ \varphi : [k] \to [n]$. Thus $\Delta/[n]$
is fibred in sets over $\Delta$. In other words, we may
think of $\Delta/[n]$ as a presheaf of sets over $\Delta$.
See also, Categories,
Example \ref{categories-example-fibred-category-from-functor-of-points}.
And this presheaf of sets agrees with the simplicial set
$\Delta[n]$. In particular, from Equation
(\ref{equation-simplicial-set-presheaf}) and
Lemma \ref{lemma-simplex-map} above
we get the formula
$$
\Mor_{\textit{PSh}(\Delta)}(\Delta/[n], U) = U_n
$$
for any simplicial set $U$.
\end{example}

\begin{lemma}
\label{lemma-product-degenerate}
Let $U$, $V$ be simplicial sets.
Let $a, b \geq 0$ be integers.
Assume every $n$-simplex of $U$ is degenerate if $n > a$.
Assume every $n$-simplex of $V$ is degenerate if $n > b$.
Then every $n$-simplex of $U \times V$ is degenerate
if $n > a + b$.
\end{lemma}

\begin{proof}
Suppose $n > a + b$. Let $(u, v) \in (U \times V)_n = U_n \times V_n$.
By assumption, there exists a $\alpha : [n] \to [a]$ and a
$u' \in U_a$ and a $\beta : [n] \to [b]$ and a $v' \in V_b$
such that $u = U(\alpha)(u')$ and $v = V(\beta)(v')$. Because
$n > a + b$, there exists an $0 \leq i \leq a + b$ such that
$\alpha(i) = \alpha(i + 1)$ and
$\beta(i) = \beta(i + 1)$. It follows immediately
that $(u, v)$ is in the image of $s^{n - 1}_i$.
\end{proof}







\section{Products with simplicial sets}
\label{section-product-with-simplicial-sets}

\noindent
Let $\mathcal{C}$ be a category.
Let $U$ be a simplicial set.
Let $V$ be a simplicial object of $\mathcal{C}$.
We can consider the covariant functor which associates
to a simplicial object $W$ of $\mathcal{C}$
the set
\begin{equation}
\label{equation-functor-product-with-simplicial-set}
\left\{
(f_{n, u} : V_n \to W_n)_{n \geq 0, u \in U_n}
\text{ such that }
\begin{matrix}
\forall \varphi : [m] \to [n] \\
f_{m, \varphi(u)} \circ V(\varphi) = W(\varphi) \circ f_{n, u}
\end{matrix}
\right\}
\end{equation}
If this functor is of the form
$\Mor_{\text{Simp}(\mathcal{C})}(Q, -)$
then we can think of $Q$ as the product of $U$ with $V$.
Instead of formalizing this in this way we just directly
define the product as follows.

\begin{definition}
\label{definition-product-with-simplicial-set}
Let $\mathcal{C}$ be a category such that the coproduct of
any two objects of $\mathcal{C}$ exists. Let
$U$ be a simplicial set. Let $V$ be a simplicial
object of $\mathcal{C}$. Assume that each $U_n$ is
finite nonempty. In this case we define
the {\it product $U \times V$ of $U$ and $V$}
to be the simplicial object of $\mathcal{C}$ whose
$n$th term is the object
$$
(U \times V)_n = \coprod\nolimits_{u\in U_n} V_n
$$
with maps for $\varphi : [m] \to [n]$ given by the
morphism
$$
\coprod\nolimits_{u\in U_n} V_n
\longrightarrow
\coprod\nolimits_{u'\in U_m} V_m
$$
which maps the component $V_n$ corresponding to $u$ to the
component $V_m$ corresponding to $u' = U(\varphi)(u)$
via the morphism $V(\varphi)$.
More loosely, if all of the coproducts displayed above
exist (without assuming anything about $\mathcal{C}$)
we will say that the {\it product $U \times V$ exists}.
\end{definition}

\begin{lemma}
\label{lemma-check-product-with-simplicial-set}
Let $\mathcal{C}$ be a category such that the coproduct of
any two objects of $\mathcal{C}$ exists. Let
$U$ be a simplicial set. Let $V$ be a simplicial
object of $\mathcal{C}$. Assume that each $U_n$ is
finite nonempty. The functor
$W \mapsto \Mor_{\text{Simp}(\mathcal{C})}(U \times V, W)$
is canonically isomorphic to the functor which
maps $W$ to the set in
Equation (\ref{equation-functor-product-with-simplicial-set}).
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-back-to-U}
Let $\mathcal{C}$ be a category such that the coproduct of
any two objects of $\mathcal{C}$ exists. Let us temporarily
denote $\textit{FSSets}$ the category of simplicial sets
all of whose components are finite nonempty.
\begin{enumerate}
\item The rule $(U, V) \mapsto U \times V$
defines a functor
$\textit{FSSets} \times \text{Simp}(\mathcal{C})
\to \text{Simp}(\mathcal{C})$.
\item For every $U$, $V$ as above
there is a canonical map of simplicial objects
$$
U \times V \longrightarrow V
$$
defined by taking the identity on each component of
$(U \times V)_n = \coprod_u V_n$.
\end{enumerate}
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\noindent
We briefly study a special case of the construction
above. Let $\mathcal{C}$ be a category.
Let $X$ be an object of $\mathcal{C}$.
Let $k \geq 0$ be an integer.
If all coproducts $X \coprod \ldots \coprod X$ exist
then according to the definition above the product
$$
X \times \Delta[k]
$$
exists, where we think of $X$ as the corresponding constant
simplicial object.

\begin{lemma}
\label{lemma-morphism-from-coproduct}
With $X$ and $k$ as above.
For any simplicial object $V$ of
$\mathcal{C}$ we have the following
canonical bijection
$$
\Mor_{\text{Simp}(\mathcal{C})}(X \times \Delta[k], V)
\longrightarrow
\Mor_\mathcal{C}(X, V_k).
$$
wich maps $\gamma$ to the restriction of the
morphism $\gamma_k$ to the component corresponding
to $\text{id}_{[k]}$.
Similarly, for any $n \geq k$, if $W$ is an
$n$-truncated simplicial object
of $\mathcal{C}$, then we have
$$
\Mor_{\text{Simp}_n(\mathcal{C})}(\text{sk}_n(X \times \Delta[k]), W)
=
\Mor_\mathcal{C}(X, W_k).
$$
\end{lemma}

\begin{proof}
A morphism $\gamma : X \times \Delta[k] \to V$ is given by
a family of morphisms $\gamma_\alpha : X \to V_n$ where
$\alpha : [n] \to [k]$. The morphisms have to satisfy the
rules that for all $\varphi : [m] \to [n]$ the diagrams
$$
\xymatrix{
X \ar[r]^{\gamma_\alpha} \ar[d]^{\text{id}_X} & V_n \ar[d]^{V(\varphi)} \\
X \ar[r]^{\gamma_{\alpha \circ \varphi}} & V_m
}
$$
commute. Taking $\alpha = \text{id}_{[k]}$, we see that
for any $\varphi : [m] \to [k]$ we have $\gamma_\varphi =
V(\varphi) \circ \gamma_{\text{id}_{[k]}}$. Thus the morphism
$\gamma$ is determined by the value of $\gamma$ on the
component corresponding to $\text{id}_{[k]}$. Conversely,
given such a morphism $f : X \to V_k$ we easily
construct a morphism $\gamma$ by putting
$\gamma_\alpha = V(\alpha) \circ f$.

\medskip\noindent
The truncated case is similar, and left to the reader.
\end{proof}

\noindent
A particular example of this is the case $k = 0$.
In this case the formula of the lemma just says
that
$$
\Mor_\mathcal{C}(X, V_0)
=
\Mor_{\text{Simp}(\mathcal{C})}(X, V)
$$
where on the right hand side $X$ indicates the
constant simplicial object with value $X$. We will
use this formula without further mention in the
following.




\section{Hom from simplicial sets into cosimplicial objects}
\label{section-hom-from-simplicial-sets-into-cosimplicial}

\noindent
Let $\mathcal{C}$ be a category.
Let $U$ be a simplicial object of $\mathcal{C}$,
and let $V$ be a cosimplicial object of $\mathcal{C}$.
Then we get a cosimplicial set $\Hom_\mathcal{C}(U, V)$
as follows:
\begin{enumerate}
\item we set
$\Hom_\mathcal{C}(U, V)_n = \Mor_\mathcal{C}(U_n, V_n)$, and
\item for $\varphi : [m] \to [n]$ we take the map
$\Hom_\mathcal{C}(U, V)_m \to \Hom_\mathcal{C}(U, V)_n$
given by $f \mapsto V(\varphi) \circ f \circ U(\varphi)$.
\end{enumerate}
This is our motivation for the following definition.

\begin{definition}
\label{definition-hom-deltak-cosimplicial}
Let $\mathcal{C}$ be a category with finite products.
Let $V$ be a cosimplicial object of $\mathcal{C}$.
Let $U$ be a simplicial set such that each
$U_n$ is finite nonempty.
We define {\it $\Hom(U, V)$} to be
the cosimplicial object of $\mathcal{C}$ defined
as follows:
\begin{enumerate}
\item we set $\Hom(U, V)_n = \prod_{u \in U_n} V_n$,
in other words the unique object of $\mathcal{C}$ such
that its $X$-valued points satisfy
$$
\Mor_\mathcal{C}(X, \Hom(U, V)_n)
=
\text{Map}(U_n, \Mor_\mathcal{C}(X, V_n))
$$
and
\item for $\varphi : [m] \to [n]$ we take the map
$\Hom(U, V)_m \to \Hom(U, V)_n$
given by $f \mapsto V(\varphi) \circ f \circ U(\varphi)$
on $X$-valued points as above.
\end{enumerate}
\end{definition}

\noindent
We leave it to the reader to spell out the
definition in terms of maps between products.
We also point out that the construction is functorial
in both $U$ (contravariantly) and $V$ (covariantly), exactly as in
Lemma \ref{lemma-back-to-U} in the case of
products of simplicial sets with simplicial objects.









\section{Internal Hom}
\label{section-internal-hom}

\noindent
Let $\mathcal{C}$ be a category with finite nonempty
products. Let $U$, $V$ be simplicial objects $\mathcal{C}$.
In some cases the functor
\begin{eqnarray*}
\text{Simp}(\mathcal{C})^{opp} & \longrightarrow & \textit{Sets} \\
W & \longmapsto & \Mor_{\text{Simp}(\mathcal{C})}(W \times V, U)
\end{eqnarray*}
is representable. In this case we denote $\SheafHom(V, U)$
the resulting simplicial object of $\mathcal{C}$, and we say
that the {\it internal hom of $V$ into $U$ exists}. Moreover,
in this case we would have
\begin{eqnarray*}
\Mor_\mathcal{C}(X, \SheafHom(V, U)_n)
& = &
\Mor_{\text{Simp}(\mathcal{C})}(X \times \Delta[n], \SheafHom(V, U))
\\
& = &
\Mor_{\text{Simp}(\mathcal{C})}(X \times \Delta[n]\times V, U) \\
& = &
\Mor_{\text{Simp}(\mathcal{C})}(X, \SheafHom(\Delta[n] \times V, U))
\\
& = &
\Mor_\mathcal{C}(X, \SheafHom(\Delta[n] \times V, U)_0)
\end{eqnarray*}
provided that $\SheafHom(\Delta[n] \times V, U)$
exists also. Here we have used the material from Section
\ref{section-product-with-simplicial-sets}.

\medskip\noindent
The lesson we learn from this is that, given $U$ and $V$,
if we want to construct the internal hom then we should try to
construct the objects
$$
\SheafHom(\Delta[n] \times V, U)_0
$$
because these should be the $n$th term of $\SheafHom(V, U)$.
In the next section we study a construction of simplicial objects
``$\Hom(\Delta[n], U)$''.


\section{Hom from simplicial sets into simplicial objects}
\label{section-hom-from-simplicial-sets}

\noindent
Motivated by the discussion on internal hom we define
what should be the simplicial object classifying
morphisms from a simplicial set into a given
simplicial object of the category $\mathcal{C}$.

\begin{definition}
\label{definition-hom-from-simplicial-set}
Let $\mathcal{C}$ be a category such that the coproduct
of any two objects exists.
Let $U$ be a simplicial set, with $U_n$ finite nonempty
for all $n \geq 0$.
Let $V$ be a simplicial object of $\mathcal{C}$.
We denote {\it $\Hom(U, V)$} any simplicial object of
$\mathcal{C}$ such that
$$
\Mor_{\text{Simp}(\mathcal{C})}(W, \Hom(U, V))
=
\Mor_{\text{Simp}(\mathcal{C})}(W \times U, V)
$$
functorially in the simplicial object $W$ of $\mathcal{C}$.
\end{definition}

\noindent
Of course $\Hom(U, V)$ need not exist.
Also, by the discussion in Section \ref{section-internal-hom}
we expect that if it does exist, then
$\Hom(U, V)_n = \Hom(U \times \Delta[n], V)_0$.
We do not use the italic notation for these Hom objects
since $\Hom(U, V)$ is not an internal hom.

\begin{lemma}
\label{lemma-exists-hom-0-from-simplicial-set}
Assume the category $\mathcal{C}$
has coproducts of any two objects and countable
limits. Let $U$ be a simplicial set, with $U_n$ finite nonempty
for all $n \geq 0$.
Let $V$ be a simplicial object of $\mathcal{C}$.
Then the functor
\begin{eqnarray*}
\mathcal{C}^{opp} & \longrightarrow & \textit{Sets} \\
X
& \longmapsto &
\Mor_{\text{Simp}(\mathcal{C})}(X \times U, V)
\end{eqnarray*}
is representable.
\end{lemma}

\begin{proof}
A morphism from $X \times U$ into $V$ is given by a collection
of morphisms $f_u : X \to V_n$ with $n \geq 0$ and $u \in U_n$.
And such a collection actually defines a morphism if and only
if for all $\varphi : [m] \to [n]$ all the diagrams
$$
\xymatrix{
X \ar[r]^{f_u} \ar[d]_{\text{id}_X} & V_n \ar[d]^{V(\varphi)} \\
X \ar[r]^{f_{U(\varphi)(u)}} & V_m
}
$$
commute. Thus it is natural to introduce a category
$\mathcal{U}$ and a functor
$\mathcal{V} : \mathcal{U}^{opp} \to \mathcal{C}$
as follows:
\begin{enumerate}
\item The set of objects of $\mathcal{U}$ is
$\coprod_{n \geq 0} U_n$,
\item a morphism from $u' \in U_m$ to $u \in U_n$
is a $\varphi : [m] \to [n]$ such that $U(\varphi)(u) = u'$
\item for $u \in U_n$ we set $\mathcal{V}(u) = V_n$, and
\item for $\varphi : [m] \to [n]$ such that $U(\varphi)(u) = u'$
we set $\mathcal{V}(\varphi) = V(\varphi) : V_n \to V_m$.
\end{enumerate}
At this point it is clear that our functor is nothing but the
functor defining
$$
\lim_{\mathcal{U}^{opp}} \mathcal{V}
$$
Thus if $\mathcal{C}$ has countable limits then this limit
and hence an object representing the functor of the lemma
exist.
\end{proof}

\begin{lemma}
\label{lemma-exists-hom-0-from-simplicial-set-finite}
Assume the category $\mathcal{C}$
has coproducts of any two objects and finite
limits. Let $U$ be a simplicial set, with $U_n$ finite nonempty
for all $n \geq 0$. Assume that all $n$-simplices
of $U$ are degenerate for all $n \gg 0$.
Let $V$ be a simplicial object of $\mathcal{C}$.
Then the functor
\begin{eqnarray*}
\mathcal{C}^{opp} & \longrightarrow & \textit{Sets} \\
X
& \longmapsto &
\Mor_{\text{Simp}(\mathcal{C})}(X \times U, V)
\end{eqnarray*}
is representable.
\end{lemma}

\begin{proof}
We have to show that the category $\mathcal{U}$ described
in the proof of Lemma \ref{lemma-exists-hom-0-from-simplicial-set}
has a finite subcategory $\mathcal{U}'$ such that the limit
of $\mathcal{V}$ over $\mathcal{U}'$ is the same as the
limit of $\mathcal{V}$ over $\mathcal{U}$. We will use
Categories, Lemma \ref{categories-lemma-limit-final-subcategory}.
For $m > 0$ let $\mathcal{U}_{\leq m}$ denote the full
subcategory with objects $\coprod_{0 \leq n \leq m} U_m$.
Let $m_0$ be an integer such that every $n$-simplex
of the simplicial set $U$ is degenerate if $n > m_0$.
For any $m \geq m_0$ large enough, the subcategory
$\mathcal{U}_{\leq m}$ satisfies property (1) of the lemma
cited above.

\medskip\noindent
Suppose that $u \in U_n$ and
$u' \in U_{n'}$ with $n, n' \leq m_0$ and suppose that
$\varphi : [k] \to [n]$, $\varphi' : [k] \to [n']$
are morphisms such that $U(\varphi)(u) = U(\varphi')(u')$.
A simple combinatorial argument shows that if $k > 2m_0$,
then there exists an index $0 \leq i \leq 2m_0$ such that
$\varphi(i) =\varphi(i + 1)$ and $\varphi'(i) = \varphi'(i + 1)$.
(The pigeon hole principle would tell you this works if
$k > m_0^2$ which is good enough for the argument below
anyways.) Hence, if $k > 2m_0$, we may write
$\varphi = \psi \circ \sigma^{k - 1}_i$ and
$\varphi' = \psi' \circ \sigma^{k - 1}_i$ for some
$\psi : [k - 1] \to [n]$ and some $\psi' : [k - 1] \to [n']$.
Since $s^{k - 1}_i : U_{k - 1} \to U_k$ is injective,
see Lemma \ref{lemma-si-injective}, we conclude that
$U(\psi)(u) = U(\psi')(u')$ also. Continuing in this
fashion we conclude that given morphisms
$u \to z$ and $u' \to z$ of $\mathcal{U}$
with $u, u' \in \mathcal{U}_{\leq m_0}$, there exists
a commutative diagram
$$
\xymatrix{
u \ar[rd] \ar[rrd] & & \\
& a \ar[r] & z \\
u' \ar[ru] \ar[rru]
}
$$
with $a \in \mathcal{U}_{\leq 2m_0}$.

\medskip\noindent
It is easy to deduce from this that the finite subcategory
$\mathcal{U}_{\leq 2m_0}$ works. Namely, suppose given
$x' \in U_n$ and $x'' \in U_{n'}$ with $n, n' \leq 2m_0$ as well as
morphisms $x' \to x$ and $x'' \to x$ of $\mathcal{U}$
with the same target. By our choice of $m_0$ we can
find objects $u, u'$ of $\mathcal{U}_{\leq m_0}$ and
morphisms $u \to x'$, $u' \to x''$.
By the above we can find $a \in \mathcal{U}_{\leq 2m_0}$
and morphisms $u \to a$, $u' \to a$ such that
$$
\xymatrix{
u \ar[rd] \ar[rrd] \ar[r] & x' \ar[rd] & \\
& a \ar[r] & x \\
u' \ar[ru] \ar[rru] \ar[r] & x'' \ar[ru] &
}
$$
is commutative. Turning this diagram 90 degrees clockwise
we get the desired diagram as in (2) of the
cited lemma.
\end{proof}

\begin{lemma}
\label{lemma-exists-hom-from-simplicial-set-finite}
Assume the category $\mathcal{C}$
has coproducts of any two objects and finite
limits. Let $U$ be a simplicial set, with $U_n$ finite nonempty
for all $n \geq 0$. Assume that all $n$-simplices
of $U$ are degenerate for all $n \gg 0$.
Let $V$ be a simplicial object of $\mathcal{C}$.
Then $\Hom(U, V)$ exists, moreover
we have the expected equalities
$$
\Hom(U, V)_n = \Hom(U \times \Delta[n], V)_0.
$$
\end{lemma}

\begin{proof}
We construct this simplicial object as follows.
For $n \geq 0$ let $\Hom(U, V)_n$ denote
the object of $\mathcal{C}$ representing the
functor
$$
X
\longmapsto
\Mor_{\text{Simp}(\mathcal{C})}(X \times U \times \Delta[n], V)
$$
This exists by Lemma \ref{lemma-exists-hom-0-from-simplicial-set-finite}
because $U \times \Delta[n]$ is a simplicial set with finite
sets of simplices and no nondegenerate simplices in high enough degree,
see Lemma \ref{lemma-product-degenerate}.
For $\varphi : [m] \to [n]$ we obtain an induced map of simplicial
sets $\varphi : \Delta[m] \to \Delta[n]$. Hence we obtain a morphism
$X \times U \times \Delta[m] \to X \times U \times \Delta[n]$
functorial in $X$, and hence a transformation of functors,
which in turn gives
$$
\Hom(U, V)(\varphi) :
\Hom(U, V)_n
\longrightarrow
\Hom(U, V)_m.
$$
Clearly this defines a contravariant functor
$\Hom(U, V)$ from
$\Delta$ into the category $\mathcal{C}$.
In other words, we have a simplicial object of $\mathcal{C}$.

\medskip\noindent
We have to show that $\Hom(U, V)$ satisfies the desired
universal property
$$
\Mor_{\text{Simp}(\mathcal{C})}(W, \Hom(U, V))
=
\Mor_{\text{Simp}(\mathcal{C})}(W \times U, V)
$$
To see this, let $f : W \to \Hom(U, V)$ be given.
We want to construct the element $f' : W \times U \to V$
of the right hand side.
By construction, each $f_n : W_n \to \Hom(U, V)_n$
corresponds to a morphism
$f_n : W_n \times U \times \Delta[n] \to V$. Further,
for every morphism $\varphi : [m] \to [n]$ the
diagram
$$
\xymatrix{
W_n \times U \times \Delta[m]
\ar[rr]_{W(\varphi)\times \text{id} \times \text{id}}
\ar[d]_{\text{id} \times \text{id} \times \varphi} & &
W_m \times U \times \Delta[m] \ar[d]^{f_m} \\
W_n \times U \times \Delta[n] \ar[rr]^{f_n} & & V
}
$$
is commutative. For $\psi : [n] \to [k]$ in $(\Delta[n])_k$
we denote $(f_n)_{k, \psi} : W_n \times U_k \to V_k$
the component of $(f_n)_k$ corresponding to the element
$\psi$. We define $f'_n : W_n \times U_n \to V_n$
as $f'_n = (f_n)_{n, \text{id}}$, in other words, as
the restriction of
$(f_n)_n : W_n \times U_n \times (\Delta[n])_n \to V_n$
to $W_n \times U_n \times \text{id}_{[n]}$.
To see that the collection $(f'_n)$ defines a
morphism of simplicial objects, we have to show
for any $\varphi : [m] \to [n]$ that
$V(\varphi) \circ f'_n =
f'_m \circ W(\varphi) \times U(\varphi)$.
The commutative diagram above says that
$(f_n)_{m, \varphi} : W_n \times U_m \to V_m$
is equal to
$(f_m)_{m, \text{id}} \circ W(\varphi) :
W_n \times U_m \to V_m$.
But then the fact that $f_n$ is a morphism of simplicial
objects implies that the diagram
$$
\xymatrix{
W_n \times U_n \times (\Delta[n])_n
\ar[r]_-{(f_n)_n}
\ar[d]_{\text{id} \times U(\varphi) \times \varphi}
& V_n \ar[d]^{V(\varphi)} \\
W_n \times U_m \times (\Delta[n])_m \ar[r]^-{(f_n)_m} & V_m
}
$$
is commutative. And this implies that
$(f_n)_{m, \varphi} \circ U(\varphi)$ is
equal to $V(\varphi) \circ (f_n)_{n, \text{id}}$.
Altogether we obtain
$
V(\varphi) \circ (f_n)_{n, \text{id}}
=
(f_n)_{m, \varphi} \circ U(\varphi)
=
(f_m)_{m, \text{id}} \circ W(\varphi)\circ U(\varphi)
=
(f_m)_{m, \text{id}} \circ W(\varphi)\times U(\varphi)
$
as desired.

\medskip\noindent
On the other hand, given a morphism
$f' : W \times U \to V$ we define
a morphism $f : W \to \Hom(U, V)$
as follows. By Lemma \ref{lemma-morphism-from-coproduct} the morphisms
$\text{id} : W_n \to W_n$ corresponds to a unique
morphism $c_n : W_n \times \Delta[n] \to W$.
Hence we can consider the composition
$$
W_n \times \Delta[n] \times U
\xrightarrow{c_n}
W \times U
\xrightarrow{f'}
V.
$$
By construction this corresponds to a unique morphism
$f_n : W_n \to \Hom(U, V)_n$. We leave it to the reader
to see that these define a morphism of simplicial sets as
desired.

\medskip\noindent
We also leave it to the reader to see that
$f \mapsto f'$ and $f' \mapsto f$ are mutually inverse
operations.
\end{proof}

\noindent
We spell out the construction above in a special case.
Let $X$ be an object of a category $\mathcal{C}$.
Assume that self products $X \times \ldots \times X$ exist.
Let $k$ be an integer.
Consider the simplicial object $U$ with terms
$$
U_n = \prod\nolimits_{\alpha \in \Mor([k], [n])} X
$$
and maps given $\varphi : [m] \to [n]$
\begin{eqnarray*}
U(\varphi) :
\prod\nolimits_{\alpha \in \Mor([k], [n])} X
& \longrightarrow &
\prod\nolimits_{\alpha' \in \Mor([k], [m])} X \\
(f_{\alpha})_{\alpha} & \longmapsto &
(f_{\varphi \circ \alpha'})_{\alpha'}
\end{eqnarray*}
In terms of ``coordinates'', the element $(x_\alpha)_\alpha$
is mapped to the element $(x_{\varphi \circ \alpha'})_{\alpha'}$.
We claim this object is equal to
$$
\Hom(\Delta[k], X)
$$
where we think of $X$ as the constant simplicial object $X$.

\begin{lemma}
\label{lemma-morphism-into-product}
With $X$, $k$ and $U$ as above.
\begin{enumerate}
\item For any simplicial object $V$ of
$\mathcal{C}$ we have the following
canonical bijection
$$
\Mor_{\text{Simp}(\mathcal{C})}(V, U)
\longrightarrow
\Mor_\mathcal{C}(V_k, X).
$$
wich maps $\gamma$ to the morphism $\gamma_k$ composed with
the projection onto the factor corresponding to $\text{id}_{[k]}$.
\item Similarly, if $W$ is an $k$-truncated simplicial object
of $\mathcal{C}$, then we have
$$
\Mor_{\text{Simp}_k(\mathcal{C})}(W, \text{sk}_k U)
=
\Mor_\mathcal{C}(W_k, X).
$$
\item The object $U$ constructed above is an
incarnation of $\Hom(\Delta[k], X)$.
\end{enumerate}
\end{lemma}

\begin{proof}
We first prove (1).
Suppose that $\gamma : V \to U$ is a morphism.
This is given by a family of morphisms
$\gamma_{\alpha} : V_n \to X$ for $\gamma : [k] \to [n]$.
The morphisms have to satisfy the
rules that for all $\varphi : [m] \to [n]$ the diagrams
$$
\xymatrix{
X \ar[d]^{\text{id}_X} &
V_n \ar[d]^{V(\varphi)}
\ar[l]^{\gamma_{\varphi \circ \alpha'}} \\
X &
V_m \ar[l]_{\gamma_{\alpha'}}
}
$$
commute for all $\alpha' : [k] \to [m]$.
Taking $\alpha' = \text{id}_{[k]}$, we see that
for any $\varphi : [k] \to [n]$ we have $\gamma_\varphi =
\gamma_{\text{id}_{[k]}} \circ V(\varphi)$. Thus the morphism
$\gamma$ is determined by the component of $\gamma_k$
corresponding to $\text{id}_{[k]}$. Conversely,
given such a morphism $f : V_k \to X$ we easily
construct a morphism $\gamma$ by putting
$\gamma_\alpha = f \circ V(\alpha)$.

\medskip\noindent
The truncated case is similar, and left to the reader.

\medskip\noindent
To see (3) we argue as follows:
\begin{eqnarray*}
\Mor(V, \Hom(\Delta[k], X)) & = &
\Mor(V \times \Delta[k], X) \\
& = & \{ (f_n : V_n \times \Delta[k]_n \to X) \mid
f_n \text{ compatible}\} \\
& = & \{ (f_n : V_n \to \prod\nolimits_{\Delta[k]_n} X) \mid
f_n \text{ compatible}\} \\
& = & \Mor(V, U)
\end{eqnarray*}
Thus $U$ and $\Hom(\Delta[k], X)$ define the same
functor on the category of simplicial objects and
hence are canonically isomorphic.
\end{proof}

\begin{lemma}
\label{lemma-hom-from-coprod}
Assume the category $\mathcal{C}$
has coproducts of any two objects and finite
limits. Let $a : U \to V$, $b : U \to W$
be morphisms of simplicial sets.
Assume $U_n, V_n, W_n$ finite nonempty for all $n \geq 0$.
Assume that all $n$-simplices of $U, V, W$
are degenerate for all $n \gg 0$.
Let $T$ be a simplicial object of $\mathcal{C}$.
Then
$$
\Hom(V, T) \times_{\Hom(U, T)} \Hom(W, T)
=
\Hom(V \amalg_U W, T)
$$
In other words, the fibre product on the left hand
side is represented by the Hom object on the right hand side.
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-exists-hom-from-simplicial-set-finite}
all the required $\Hom$ objects exist and satisfy the
correct functorial properties. Now we can identify
the $n$th term on the left hand side as the object
representing the functor that associates to $X$
the first set of the following sequence of functorial
equalities
\begin{align*}
&
\Mor(X \times \Delta[n],
\Hom(V, T) \times_{\Hom(U, T)} \Hom(W, T)) \\
& =
\Mor(X \times \Delta[n], \Hom(V, T))
\times_{\Mor(X \times \Delta[n], \Hom(U, T))}
\Mor(X \times \Delta[n], \Hom(W, T)) \\
& =
\Mor(X \times \Delta[n] \times V, T)
\times_{\Mor(X \times \Delta[n] \times U, T)}
\Mor(X \times \Delta[n] \times W, T) \\
& =
\Mor(X \times \Delta[n] \times (V \amalg_U W), T))
\end{align*}
Here we have used the fact that
$$
(X \times \Delta[n] \times V)
\times_{X \times \Delta[n] \times U}
(X \times \Delta[n] \times W)
=
X \times \Delta[n] \times (V \amalg_U W)
$$
which is easy to verify term by term. The result of the lemma
follows as the last term in the displayed sequence of
equalities corresponds to $\Hom(V \amalg_U W, T)_n$.
\end{proof}













\section{Splitting simplicial objects}
\label{section-splitting}

\noindent
A subobject $N$ of an object $X$ of the category $\mathcal{C}$
is an object $N$ of $\mathcal{C}$ together with a monomorphism
$N \to X$. Of course we say (by abouse of notation) that
the subobjects $N$, $N'$ are equal if there exists an isomorphism
$N \to N'$ compatible with the morphisms to $X$. The collection
of subobjects forms a partially ordered set. (Because of our
conventions on categories; not true for category of spaces
up to homotopy for example.)

\begin{definition}
\label{definition-split}
Let $\mathcal{C}$ be a category which admits finite nonempty coproducts.
We say a simplicial object $U$ of $\mathcal{C}$ is {\it split}
if there exist subobjects $N(U_m)$ of $U_m$, $m \geq 0$
with the property that
\begin{equation}
\label{equation-splitting}
\coprod\nolimits_{\varphi : [n] \to [m]\text{ surjective}}
N(U_m)
\longrightarrow
U_n
\end{equation}
is an isomorphism for all $n \geq 0$.
\end{definition}

\noindent
If this is the case, then $N(U_0) = U_0$. Next, we have
$U_1 = U_0 \coprod N(U_1)$. Second we have
$$
U_2 = U_0 \coprod N(U_1) \coprod N(U_1) \coprod N(U_2).
$$
It turns out that in many categories $\mathcal{C}$
every simplicial object is split.

\begin{lemma}
\label{lemma-splitting-simplicial-sets}
Let $U$ be a simplicial set.
Then $U$ has a splitting
with $N(U_m)$ equal to the set of
nondegenerate $m$-simplices.
\end{lemma}

\begin{proof}
Let $x \in U_n$. Suppose that
there are surjections $\varphi : [n] \to [k]$
and $\psi : [n] \to [l]$ and nondegenerate simplices
$y \in U_k$, $z \in U_l$ such that $x = U(\varphi)(y)$
and $x = U(\psi)(z)$. Choose a right inverse $\xi : [l] \to [n]$
of $\psi$, i.e., $\psi \circ \xi = \text{id}_{[l]}$.
Then $z = U(\xi)(x)$. Hence $z = U(\xi)(x) = U(\varphi \circ \xi)(y)$.
Since $z$ is nondegenerate we conclude that $\varphi \circ \xi :
[l] \to [k]$ is surjective, and hence $l \geq k$. Similarly
$k \geq l$. Hence we see that $\varphi \circ \xi : [l] \to [k]$
has to be the identity map for any choice of right inverse
$\xi$ of $\psi$. This easily implies that $\psi = \varphi$.
\end{proof}

\noindent
Of course it can happen that a map of simplicial sets
maps a nondegenerate $n$-simplex to a degenerate $n$-simplex.
Thus the splitting of Lemma \ref{lemma-splitting-simplicial-sets}
is not functorial. Here is a case where it is functorial.

\begin{lemma}
\label{lemma-injective-map-simplicial-sets}
Let $f : U \to V$ be a morphism of simplicial sets.
Suppose that (a) the image of every nondegenerate simplex of
$U$ is a nondegenerate simplex of $V$ and (b)
no two nondegenerate simplices of $U$ are mapped
to the same simplex of $V$.
Then $f_n$ is injective for all $n$.
Same holds with ``injective'' replaced by
``surjective'' or ``bijective''.
\end{lemma}

\begin{proof}
Under hypothesis (a) we see that the map $f$ preserves
the disjoint union decompositions of the splitting
of Lemma \ref{lemma-splitting-simplicial-sets}, in other words
that we get commutative diagrams
$$
\xymatrix{
\coprod\nolimits_{\varphi : [n] \to [m]\text{ surjective}}
N(U_m)
\ar[r] \ar[d] &
U_n \ar[d] \\
\coprod\nolimits_{\varphi : [n] \to [m]\text{ surjective}}
N(V_m)
\ar[r] &
V_n.
}
$$
And then (b) clearly shows that the left vertical arrow is
injective (resp.\ surjective, resp.\ bijective).
\end{proof}

\begin{lemma}
\label{lemma-simplicial-set-n-skel-sub}
Let $U$ be a simplicial set.
Let $n \geq 0$ be an integer.
The rule
$$
U'_m = \bigcup\nolimits_{\varphi : [m] \to [i], \ i\leq n} \text{Im}(U(\varphi))
$$
defines a sub simplicial set $U' \subset U$ with
$U'_i = U_i$ for $i \leq n$.
Moreover, all $m$-simplices of $U'$ are degenerate for
all $m > n$.
\end{lemma}

\begin{proof}
If $x \in U_m$ and $x = U(\varphi)(y)$
for some $y \in U_i$, $i \leq n$ and some $\varphi : [m] \to [i]$
then any image $U(\psi)(x)$ for any $\psi : [m'] \to [m]$ is
equal to $U(\varphi \circ \psi)(y)$ and $\varphi \circ \psi :
[m'] \to [i]$. Hence $U'$ is a simplicial set. By construction
all simplices in dimension $n + 1$ and higher are degenerate.
\end{proof}

\begin{lemma}
\label{lemma-splitting-simplicial-groups}
Let $U$ be a simplicial abelian group.
Then $U$ has a splitting obtained by taking $N(U_0) = U_0$ and
for $m \geq 1$ taking
$$
N(U_m) = \bigcap\nolimits_{i = 0}^{m - 1} \text{Ker}(d^m_i).
$$
Moreover, this splitting is functorial on the category
of simplicial abelian groups.
\end{lemma}

\begin{proof}
By induction on $n$ we will show that the choice of $N(U_m)$
in the lemma guarantees that (\ref{equation-splitting}) is
an isomorphism for $m \leq n$. This is clear for $n = 0$.
In the rest of this proof we are going to
drop the superscripts from the maps $d_i$ and $s_i$ in order
to improve readability. We will also repeatedly use the relations
from Remark \ref{remark-relations}.

\medskip\noindent
First we make a general remark.
For $0 \leq i \leq m$ and $z \in U_m$ we have
$d_i(s_i(z)) = z$. Hence we can write
any $x \in U_{m + 1}$ uniquely as
$x = x' + x''$ with $d_i(x') = 0$
and $x'' \in \text{Im}(s_i)$
by taking $x' = (x - s_i(d_i(x)))$ and
$x'' = s_i(d_i(x))$. Moreover, the element
$z \in U_m$ such that $x'' = s_i(z)$
is unique because $s_i$ is injective.

\medskip\noindent
Here is a procedure for decomposing
any $x \in U_{n + 1}$.
First, write $x = x_0 + s_0(z_0)$ with $d_0(x_0) = 0$.
Next, write $x_0 = x_1 + s_1(z_1)$ with
$d_n(x_1) = 0$. Continue like this to get
\begin{eqnarray*}
x & = & x_0 + s_0(z_0), \\
x_0 & = & x_1 + s_1(z_1), \\
x_1 & = & x_2 + s_2(z_2), \\
\ldots & \ldots & \ldots \\
x_{n - 1} & = & x_n + s_n(z_n)
\end{eqnarray*}
where $d_i(x_i) = 0$ for all $i = n, \ldots, 0$.
By our general remark above all of the $x_i$
and $z_i$ are determined uniquely by $x$.
We claim that
$x_i \in
\text{Ker}(d_0) \cap
\text{Ker}(d_1) \cap
\ldots \cap
\text{Ker}(d_i)$
and
$z_i \in
\text{Ker}(d_0) \cap
\ldots \cap
\text{Ker}(d_{i - 1})$
for $i = n, \ldots, 0$.
Here and in the following
an empty intersection of kernels indicates
the whole space; i.e.,
the notation
$z_0 \in \text{Ker}(d_0) \cap
\ldots \cap
\text{Ker}(d_{i - 1})$
when $i = 0$ means $z_0 \in U_n$ with no restriction.

\medskip\noindent
We prove this by ascending induction on $i$.
It is clear for $i = 0$ by construction of $x_0$ and $z_0$.
Let us prove it for $0 < i \leq n$ assuming the result for $i - 1$.
First of all we have $d_i(x_i) = 0$ by construction.
So pick a $j$ with $0 \leq j < i$. We have
$d_j(x_{i - 1}) = 0$ by induction. Hence
$$
0 = d_j(x_{i - 1})
= d_j(x_i) + d_j(s_i(z_i))
= d_j(x_i) + s_{i - 1}(d_j(z_i)).
$$
The last equality by the relations of Remark \ref{remark-relations}.
These relations also imply that
$d_{i - 1}(d_j(x_i)) = d_j(d_i(x_i)) = 0$
because $d_i(x_i)= 0$ by construction.
Then the uniqueness in the general remark above shows the equality
$0 = x' + x'' = d_j(x_i) + s_{i - 1}(d_j(z_i))$
can only hold if both terms are zero. We conclude that
$d_j(x_i) = 0$ and by injectivity of $s_{i - 1}$ we also
conclude that $d_j(z_i) = 0$. This proves the claim.

\medskip\noindent
The claim implies we can uniquely write
$$
x = s_0(z_0) + s_1(z_1) + \ldots + s_n(z_n) + x_0
$$
with $x_0 \in N(U_{n + 1})$ and
$z_i \in \text{Ker}(d_0) \cap \ldots \cap \text{Ker}(d_{i - 1})$.
We can reformulate this as saying that we have found a direct
sum decomposition
$$
U_{n + 1}
=
N(U_{n + 1})
\oplus
\bigoplus\nolimits_{i = 0}^{i = n}
s_i\Big(\text{Ker}(d_0) \cap \ldots \cap \text{Ker}(d_{i - 1})\Big)
$$
with the property that
$$
\text{Ker}(d_0) \cap \ldots \cap \text{Ker}(d_j)
=
N(U_{n + 1}) \oplus
\bigoplus\nolimits_{i = j + 1}^{i = n}
s_i\Big(\text{Ker}(d_n) \cap \ldots \cap \text{Ker}(d_{i - 1})\Big)
$$
for $j = 0, \ldots, n$.
The result follows from this statement as follows.
Each of the $z_i$ in the expression for $x$
can be written uniquely as
$$
z_i = s_i(z'_{i, i}) + \ldots + s_{n - 1}(z'_{i, n - 1}) + z_{i, 0}
$$
with $z_{i, 0} \in N(U_n)$ and
$z'_{i, j} \in \text{Ker}(d_0) \cap \ldots \cap \text{Ker}(d_{j - 1})$.
The first few steps in the decomposition of $z_i$ are zero because
$z_i$ already is in the kernel of $d_0, \ldots, d_i$.
This in turn uniquely gives
$$
x = x_0 + s_0(z_{0, 0}) + s_1(z_{1, 0}) + \ldots + s_n(z_{n, 0}) +
\sum\nolimits_{0 \leq i \leq j \leq n - 1} s_i(s_j(z'_{i, j})).
$$
Continuing in this fashion we see that we in the end obtain
a decomposition of $x$ as a sum of terms
of the form
$$
s_{i_1} s_{i_2} \ldots s_{i_k} (z)
$$
with $0 \leq i_1 \leq i_2 \leq \ldots \leq i_k \leq n - k + 1$ and
$z \in N(U_{n + 1 - k})$. This is exactly the required
decomposition, because any surjective map $[n + 1] \to [n + 1 - k]$
can be uniquely expressed in the form
$$
\sigma^{n - k}_{i_k} \ldots \sigma^{n - 1}_{i_2} \sigma^n_{i_1}
$$
with $0 \leq i_1 \leq i_2 \leq \ldots \leq i_k \leq n - k + 1$.
\end{proof}

\begin{lemma}
\label{lemma-splitting-abelian-category}
Let $\mathcal{A}$ be an abelian category.
Let $U$ be a simplicial object in $\mathcal{A}$.
Then $U$ has a splitting obtained by taking $N(U_0) = U_0$ and
for $m \geq 1$ taking
$$
N(U_m) = \bigcap\nolimits_{i = 0}^{m - 1} \text{Ker}(d^m_i).
$$
Moreover, this splitting is functorial on the category of
simplicial objects of $\mathcal{A}$.
\end{lemma}

\begin{proof}
For any object $A$ of $\mathcal{A}$ we obtain
a simplicial abelian group $\Mor_\mathcal{A}(A, U)$.
Each of these are canonically split by Lemma
\ref{lemma-splitting-simplicial-groups}. Moreover,
$$
N(\Mor_\mathcal{A}(A, U_m)) =
\bigcap\nolimits_{i = 0}^{m - 1} \text{Ker}(d^m_i) =
\Mor_\mathcal{A}(A, N(U_m)).
$$
Hence we see that the morphism (\ref{equation-splitting})
becomes an isomorphism after applying the functor
$\Mor_\mathcal{A}(A, -)$ for any object of $\mathcal{A}$.
Hence it is an isomorphism by the Yoneda lemma.
\end{proof}

\begin{lemma}
\label{lemma-injective-map-simplicial-abelian}
Let $\mathcal{A}$ be an abelian category.
Let $f : U \to V$ be a morphism of
simplicial objects of $\mathcal{A}$.
If the induced morphisms $N(f)_i : N(U)_i \to N(V)_i$
are injective for all $i$, then $f_i$ is
injective for all $i$. Same holds with ``injective'' replaced
with ``surjective'', or ``isomorphism''.
\end{lemma}

\begin{proof}
This is clear from Lemma \ref{lemma-splitting-abelian-category}
and the definition of a splitting.
\end{proof}


\begin{lemma}
\label{lemma-N-d-in-N}
Let $\mathcal{A}$ be an abelian category.
Let $U$ be a simplicial object in $\mathcal{A}$.
Let $N(U_m)$ as in Lemma \ref{lemma-splitting-abelian-category} above.
Then $d^m_m(N(U_m)) \subset N(U_{m - 1})$.
\end{lemma}

\begin{proof}
For $j = 0, \ldots, m - 2$ we have
$d^{m - 1}_j d^m_m = d^{m - 1}_{m - 1} d^m_j$
by the relations in Remark \ref{remark-relations}.
The result follows.
\end{proof}

\begin{lemma}
\label{lemma-simplicial-abelian-n-skel-sub}
Let $\mathcal{A}$ be an abelian category.
Let $U$ be a simplicial object of $\mathcal{A}$.
Let $n \geq 0$ be an integer.
The rule
$$
U'_m = \sum\nolimits_{\varphi : [m] \to [i], \ i\leq n} \text{Im}(U(\varphi))
$$
defines a sub simplicial object $U' \subset U$ with $U'_i = U_i$
for $i \leq n$.
Moreover, $N(U'_m) = 0$ for all $m > n$.
\end{lemma}

\begin{proof}
Pick $m$, $i \leq n$ and some $\varphi : [m] \to [i]$.
The image under $U(\psi)$ of $\text{Im}(U(\varphi))$
for any $\psi : [m'] \to [m]$ is
equal to the image of $U(\varphi \circ \psi)$ and
$\varphi \circ \psi : [m'] \to [i]$.
Hence $U'$ is a simplicial object.
Pick $m > n$. We have to show $N(U'_m) = 0$.
By definition of $N(U_m)$ and $N(U'_m)$ we have
$N(U'_m) = U'_m \cap N(U_m)$ (intersection of subobjects).
Since $U$ is split by Lemma \ref{lemma-splitting-abelian-category},
it suffices to show that $U'_m$ is contained in the sum
$$
\sum\nolimits_{\varphi : [m] \to [m']\text{ surjective}, \ m' < m}
\text{Im}(U(\varphi)|_{N(U_{m'})}).
$$
By the splitting each $U_{m'}$ is the sum of images of
$N(U_{m''})$ via $U(\psi)$ for surjective maps
$\psi : [m'] \to [m'']$. Hence the displayed sum above
is the same as
$$
\sum\nolimits_{\varphi : [m] \to [m']\text{ surjective}, \ m' < m}
\text{Im}(U(\varphi)).
$$
Clearly $U'_m$ is contained in this by the simple fact that
any $\varphi : [m] \to [i]$, $i \leq n$ occurring in the definition
of $U'_m$ may be factored as
$[m] \to [m'] \to [i]$ with $[m] \to [m']$ surjective
and $m' < m$ as in the last displayed sum above.
\end{proof}


\section{Skelet and coskelet functors}
\label{section-skelet}

\noindent
Let $\Delta_{\leq n}$ denote the full subcategory of
$\Delta$ with objects $[0], [1], [2], \ldots, [n]$.
Let $\mathcal{C}$ be a category.

\begin{definition}
\label{definition-truncated-simplicial-object}
An {\it $n$-truncated simplicial object of $\mathcal{C}$}
is a contravariant functor from $\Delta_{\leq n}$ to
$\mathcal{C}$. A {\it morphism of $n$-truncated
simplicial objects} is a transformation of functors.
We denote the category of $n$-truncated
simplicial objects of $\mathcal{C}$ by
the symbol $\text{Simp}_n(\mathcal{C})$.
\end{definition}

\noindent
Given a simplicial object $U$ of $\mathcal{C}$
the truncation $\text{sk}_n U$ is the restriction
of $U$ to the subcategory $\Delta_{\leq n}$.
This defines a {\it skelet functor}
$$
\text{sk}_n :
\text{Simp}(\mathcal{C}) \longrightarrow \text{Simp}_n(\mathcal{C})
$$
from the category of simplicial objects of $\mathcal{C}$
to the category of $n$-truncated simplicial objects of $\mathcal{C}$.
See Remark \ref{remark-sk-literature} to avoid possible confusion
with other functors in the literature.

\medskip\noindent
The {\it coskelet functor} (if it exists) is a functor
$$
\text{cosk}_n :
\text{Simp}(\mathcal{C}) \longrightarrow \text{Simp}_n(\mathcal{C})
$$
which is right adjoint to the skelet functor. In a formula
\begin{equation}
\label{equation-cosk}
\Mor_{\text{Simp}(\mathcal{C})}(U, \text{cosk}_n V)
=
\Mor_{\text{Simp}_n(\mathcal{C})}(\text{sk}_n U, V)
\end{equation}
Given a $n$-truncated simplicial object $V$ we
say that {\it $\text{cosk}_nV$ exists} if there
exists a $\text{cosk}_nV \in \Ob(\text{Simp}(\mathcal{C}))$
and a morphism $\text{sk}_n \text{cosk}_n V \to V$
such that the displayed formula holds, in other words
if the functor
$U \mapsto \Mor_{\text{Simp}_n(\mathcal{C})}(\text{sk}_n U, V)$
is representable. If it exists it
is unique up to unique isomorphism by the Yoneda lemma.
See Categories, Section \ref{categories-section-opposite}.

\begin{example}
\label{example-cosk0}
Suppose the category $\mathcal{C}$ has finite nonempty self products.
A $0$-truncated simplicial object of $\mathcal{C}$ is the same
as an object $X$ of $\mathcal{C}$. In this case
we claim that $\text{cosk}_0(X)$ is the simplicial
object $U$ with $U_n = X^{n + 1}$ the $(n + 1)$-fold self
product of $X$, and structure of simplicial object
as in Example \ref{example-fibre-products-simplicial-object}.
Namely, a morphism $V \to U$ where $V$ is a simplicial
object is given by morphisms $V_n \to X^{n + 1}$, such
that all the diagrams
$$
\xymatrix{
V_n \ar[r] \ar[d]_{V([0] \to [n], 0 \mapsto i)} &
X^{n + 1} \ar[d]^{\text{pr}_i} \\
V_0 \ar[r] &
X
}
$$
commute. Clearly this means that the map determines and is determined
by a unique morphism $V_0 \to X$. This proves that formula
(\ref{equation-cosk}) holds.
\end{example}

\noindent
Recall the category $\Delta/[n]$, see Example \ref{example-simplex-category}.
We let $(\Delta/[n])_{\leq m}$ denote the full subcategory
of $\Delta/[n]$ consisting of objects $[k] \to [n]$
of $\Delta/[n]$ with $k \leq m$. In other words we have
the following commutative diagram of categories and functors
$$
\xymatrix{
(\Delta/[n])_{\leq m} \ar[r] \ar[d] &
\Delta/[n] \ar[d] \\
\Delta_{\leq m} \ar[r] &
\Delta
}
$$
Given a $m$-truncated
simplicial object $U$ of $\mathcal{C}$
we define a functor
$$
U(n) : (\Delta/[n])_{\leq m}^{opp} \longrightarrow \mathcal{C}
$$
by the rules
\begin{eqnarray*}
([k] \to [n]) & \longmapsto & U_k \\
(\psi : ([k'] \to [n]) \to ([k] \to [n])) &
\longmapsto &
U(\psi) : U_k \to U_{k'}
\end{eqnarray*}
For a given morphism $\varphi : [n] \to [n']$ of $\Delta$
we have an associated functor
$$
"\varphi" : (\Delta/[n])_{\leq m} \longrightarrow (\Delta/[n'])_{\leq m}
$$
which maps $\alpha : [k] \to [n]$ to
$\varphi \circ \alpha : [k] \to [n']$.
The composition $U(n') \circ "\varphi"$ is
equal to the functor $U(n)$.

\begin{lemma}
\label{lemma-existence-cosk}
If the category $\mathcal{C}$ has finite limits, then
$\text{cosk}_m$ functors exist for all $m$. Moreover,
for any $m$-truncated simplicial object $U$ the
simplicial object $\text{cosk}_mU$ is described
by the formula
$$
(\text{cosk}_mU)_n = \lim_{(\Delta/[n])_{\leq m}^{opp}} U(n)
$$
and for $\varphi : [n] \to [n']$ the map
$\text{cosk}_mU(\varphi)$ comes from the
identification $U(n') \circ "\varphi" = U(n)$ above
via Categories, Lemma \ref{categories-lemma-functorial-limit}.
\end{lemma}

\begin{proof}
During the proof of this lemma we denote $\text{cosk}_mU$ the
simplicial object with $(\text{cosk}_mU)_n$ equal to
$\lim_{(\Delta/[n])_{\leq m}^{opp}} U(n)$.
We will conclude at the end of the proof that it does
satisfy the required mapping property.

\medskip\noindent
Suppose that $V$ is a simplicial object.
A morphism $\gamma : V \to \text{cosk}_mU$ is given by a sequence
of morphisms $\gamma_n : V_n \to (\text{cosk}_mU)_n$.
By definition of a limit, this is given by a
collection of morphisms $\gamma(\alpha) : V_n \to U_k$
where $\alpha$ ranges over all $\alpha : [k] \to [n]$
with $k \leq m$. These morphisms then also satisfy
the rules that
$$
\xymatrix{
V_n \ar[r]_{\gamma(\alpha)} &  U_k \\
V_{n'} \ar[r]^{\gamma(\alpha')} \ar[u]^{V(\varphi)} & U_{k'} \ar[u]_{U(\psi)}
}
$$
are commutative, given any $0 \leq k, k' \leq m$, $0 \leq n, n'$
and any $\psi : [k] \to [k']$, $\varphi : [n] \to [n']$,
$\alpha : [k] \to [n]$ and $\alpha' : [k'] \to [n']$ in $\Delta$
such that $\varphi \circ \alpha = \alpha' \circ \psi$.
Taking $n = k$, $\varphi = \alpha'$, and $\alpha = \psi = \text{id}_{[k]}$
we deduce that $\gamma(\alpha') = \gamma(\text{id}_{[k]}) \circ V(\alpha')$.
In other words, the morphisms $\gamma(\text{id}_{[k]})$, $k \leq m$
determine the morphism $\gamma$. And it is easy to see that these
morphisms form a morphism $\text{sk}_m V \to U$.

\medskip\noindent
Conversely, given a morphism $\gamma : \text{sk}_m V \to U$,
we obtain a family of morphisms $\gamma(\alpha)$
where $\alpha$ ranges over all $\alpha : [k] \to [n]$
with $k \leq m$ by setting $\gamma(\alpha) =
\gamma(\text{id}_{[k]}) \circ V(\alpha)$. These morphisms
satisfy all the displayed commutativity restraints pictured
above, and hence give rise to a morphism $V \to \text{cosk}_m U$.
\end{proof}

\begin{lemma}
\label{lemma-trivial-cosk}
Let $\mathcal{C}$ be a category.
Let $U$ be an $m$-truncated simplicial object of $\mathcal{C}$.
For $n \leq m$ the limit $\lim_{(\Delta/[n])_{\leq m}^{opp}} U(n)$
exists and is canonically isomorphic to $U_n$.
\end{lemma}

\begin{proof}
This is true because the category $(\Delta/[n])_{\leq m}$
has an final object in this case, namely the identity
map $[n] \to [n]$.
\end{proof}

\begin{lemma}
\label{lemma-recover-cosk}
Let $\mathcal{C}$ be a category with finite limits.
Let $U$ be an $n$-truncated simplicial object of $\mathcal{C}$.
The morphism $\text{sk}_n \text{cosk}_n U \to U$
is an isomorphism.
\end{lemma}

\begin{proof}
Combine Lemmas \ref{lemma-existence-cosk} and \ref{lemma-trivial-cosk}.
\end{proof}

\noindent
Let us describe a particular instance of the coskelet functor in more detail.
By abuse of notation we will denote $\text{sk}_n$
also the restriction functor
$\text{Simp}_{n'}(\mathcal{C}) \to \text{Simp}_n(\mathcal{C})$
for any $n' \geq n$. We are going to describe a right adjoint
of the functor
$\text{sk}_n : \text{Simp}_{n + 1}(\mathcal{C})
\to \text{Simp}_n(\mathcal{C})$.
For $n \geq 1$, $0 \leq i < j \leq n + 1$
define $\delta^{n + 1}_{i, j} : [n - 1] \to [n + 1]$
to be the increasing map omitting $i$ and $j$.
Note that
$\delta^{n + 1}_{i, j} =
\delta^{n + 1}_j \circ \delta^n_i =
\delta^{n + 1}_i \circ \delta^n_{j - 1}$, see
Lemma \ref{lemma-relations-face-degeneracy}. This motivates
the following lemma.

\begin{lemma}
\label{lemma-formula-limit}
Let $n$ be an integer $\geq 1$.
Let $U$ be a $n$-truncated simplicial object of $\mathcal{C}$.
Consider the contravariant functor from $\mathcal{C}$ to
$\textit{Sets}$ which associates to an object $T$ the set
$$
\{ (f_0, \ldots, f_{n + 1}) \in \Mor_\mathcal{C}(T, U_n)
\mid
d^n_{j - 1} \circ f_i = d^n_i \circ f_j
\ \forall\ 0\leq i < j\leq n + 1\}
$$
If this functor is representable by some object $U_{n + 1}$
of $\mathcal{C}$, then
$$
U_{n + 1} = \lim_{(\Delta/[n + 1])_{\leq n}^{opp}} U(n)
$$
\end{lemma}

\begin{proof}
The limit, if it exists, represents the functor
that associates to an object $T$ the set
$$
\{
(f_\alpha)_{\alpha : [k] \to [n + 1], k \leq n}
\mid
f_{\alpha \circ \psi} = U(\psi) \circ f_\alpha\ \forall
\ \psi : [k'] \to [k], \alpha : [k] \to [n + 1]
\}.
$$
In fact we will show this functor is isomorphic to the
one displayed in the lemma. The map in one direction
is given by the rule
$$
(f_\alpha)_{\alpha}
\longmapsto
(f_{\delta^{n + 1}_0}, \ldots, f_{\delta^{n + 1}_{n + 1}}).
$$
This satisfies the conditions of the lemma because
$$
d^n_{j - 1} \circ f_{\delta^{n + 1}_i} =
f_{\delta^{n + 1}_i \circ \delta^n_{j - 1}} =
f_{\delta^{n + 1}_j \circ \delta^n_i} =
d^n_i \circ f_{\delta^{n + 1}_j}
$$
by the relations we recalled above the lemma. To construct a map
in the other direction we have to associate to a system
$(f_0, \ldots, f_{n + 1})$ as in the displayed formula
of the lemma a system of maps $f_\alpha$. Let $\alpha : [k] \to [n + 1]$
be given. Since $k \leq n$ the map $\alpha$ is not surjective.
Hence we can write $\alpha = \delta^{n + 1}_i \circ \psi$
for some $0 \leq i \leq n + 1$ and some
$\psi : [k] \to [n]$. We have no choice but to define
$$
f_\alpha = U(\psi) \circ f_i.
$$
Of course we have to check that this is independent of the
choice of the pair $(i, \psi)$. First, observe that given $i$
there is a unique $\psi$ which works. Second, suppose that $(j, \phi)$ is
another pair. Then $i \not = j$ and we may assume $i < j$. Since
both $i, j$ are not in the image of $\alpha$ we may actually
write $\alpha = \delta^{n + 1}_{i, j} \circ \xi$ and then
we see that $\psi = \delta^n_{j - 1} \circ \xi$ and
$\phi = \delta^n_i \circ \xi$. Thus
\begin{eqnarray*}
U(\psi) \circ f_i & = & U(\delta^n_{j - 1} \circ \xi) \circ f_i \\
& = & U(\xi) \circ d^n_{j - 1} \circ f_i \\
& = & U(\xi) \circ d^n_i \circ f_j \\
& = & U(\delta^n_i \circ \xi) \circ f_j \\
& = & U(\phi) \circ f_j
\end{eqnarray*}
as desired. We still have to verify that the maps
$f_\alpha$ so defined satisfy the rules of a system
of maps $(f_\alpha)_\alpha$. To see this suppose that
$\psi : [k'] \to [k]$, $\alpha : [k] \to [n + 1]$ with
$k, k' \leq n$. Set $\alpha' = \alpha \circ \psi$.
Choose $i$ not in the image of $\alpha$. Then clearly
$i$ is not in the image of $\alpha'$ also. Write
$\alpha = \delta^n_i \circ \phi$ (we cannot use the letter $\psi$ here
because we've already used it). Then obviously
$\alpha' = \delta^n_i \circ \phi \circ \psi$. By construction above
we then have
$$
U(\psi) \circ f_\alpha = U(\psi) \circ U(\phi) \circ f_i
= U(\phi \circ \psi) \circ f_i = f_{\alpha \circ \psi} = f_{\alpha'}
$$
as desired. We leave to the reader the pleasant task of verifying
that our constructions are mutually inverse bijections, and are
functorial in $T$.
\end{proof}

\begin{lemma}
\label{lemma-work-out}
Let $n$ be an integer $\geq 1$. Let $U$ be a $n$-truncated
simplicial object of $\mathcal{C}$. Consider the
contravariant functor from $\mathcal{C}$ to $\textit{Sets}$
which associates to an object $T$ the set
$$
\{ (f_0, \ldots, f_{n + 1}) \in \Mor_\mathcal{C}(T, U_n)
\mid
d^n_{j - 1} \circ f_i = d^n_i \circ f_j
\ \forall\ 0\leq i < j\leq n + 1\}
$$
If this functor is representable by some object $U_{n + 1}$
of $\mathcal{C}$, then there exists an $(n + 1)$-truncated
simplicial object $\tilde U$, with $\text{sk}_n \tilde U = U$
and $\tilde U_{n + 1} = U_{n + 1}$ such that the following
adjointness holds
$$
\Mor_{\text{Simp}_{n + 1}(\mathcal{C})}(V, \tilde U)
=
\Mor_{\text{Simp}_n(\mathcal{C})}(\text{sk}_nV, U)
$$
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-trivial-cosk} there are identifications
$$
U_i = \lim_{(\Delta/[i])_{\leq n}^{opp}} U(i)
$$
for $0 \leq i \leq n$. By Lemma \ref{lemma-formula-limit}
we have
$$
U_{n + 1} = \lim_{(\Delta/[n + 1])_{\leq n}^{opp}} U(n).
$$
Thus we may define for any $\varphi : [i] \to [j]$
with $i, j \leq n + 1$ the corresponding map
$\tilde U(\varphi) : \tilde U_j \to \tilde U_i$ exactly as
in Lemma \ref{lemma-existence-cosk}. This defines
an $(n + 1)$-truncated simplicial object $\tilde U$
with $\text{sk}_n \tilde U = U$.

\medskip\noindent
To see the adjointness we argue as follows. Given any element
$\gamma : \text{sk}_n V \to U$ of the right hand side of the formula
consider the morphisms
$f_i = \gamma_n \circ d^{n + 1}_i : V_{n + 1} \to V_n \to U_n$.
These clearly satisfy the relations $d^n_{j - 1} \circ f_i = d^n_i \circ f_j$
and hence define a unique morphism $V_{n + 1} \to U_{n + 1}$
by our choice of $U_{n + 1}$.
Conversely, given a morphism $\gamma' : V \to \tilde U$
of the left hand side we can simply restrict to
$\Delta_{\leq n}$ to get an element of the right hand side.
We leave it to the reader to show these are mutually inverse
constructions.
\end{proof}

\begin{remark}
\label{remark-explicit-face-degeneracy}
Let $U$, and $U_{n + 1}$ be as in Lemma \ref{lemma-work-out}.
On $T$-valued points we can easily describe the face
and degeneracy maps of $\tilde U$.
Explicitly, the maps $d^{n + 1}_i : U_{n + 1} \to U_n$
are given by
$$
(f_0, \ldots, f_{n + 1}) \longmapsto f_i.
$$
And the maps $s^n_j : U_n \to U_{n + 1}$ are given by
\begin{eqnarray*}
f & \longmapsto & (
s^{n - 1}_{j - 1} \circ d^{n - 1}_0 \circ f, \\
& &
s^{n - 1}_{j - 1} \circ d^{n - 1}_1 \circ f, \\
& &
\ldots\\
& &
s^{n - 1}_{j - 1} \circ d^{n - 1}_{j - 1} \circ f, \\
& &
f, \\
& &
f, \\
& &
s^{n - 1}_j \circ d^{n - 1}_{j + 1} \circ f, \\
& &
s^{n - 1}_j \circ d^{n - 1}_{j + 2} \circ f, \\
& &
\ldots\\
& &
s^{n - 1}_j \circ d^{n - 1}_n \circ f
)
\end{eqnarray*}
where we leave it to the reader to verify that the RHS
is an element of the displayed set of Lemma \ref{lemma-work-out}.
For $n = 0$ there is one map, namely $f \mapsto (f, f)$.
For $n = 1$ there are two maps, namely
$f \mapsto (f, f, s_0d_1f)$ and
$f \mapsto (s_0d_0f, f, f)$.
For $n = 2$ there are three maps, namely
$f \mapsto (f, f, s_0d_1f, s_0d_2f)$,
$f \mapsto (s_0d_0f, f, f, s_1d_2f)$, and
$f \mapsto (s_1d_0f, s_1d_1f, f, f)$.
And so on and so forth.
\end{remark}

\begin{remark}
\label{remark-cosk-simplicial-sets}
The construction of Lemma \ref{lemma-work-out}
above in the case of simplicial
sets is the following. Given an $n$-truncated simplicial
set $U$, we make a canonical $(n + 1)$-truncated simplicial
set $\tilde U$ as follows. We add a set of $(n + 1)$-simplices
$U_{n + 1}$ by the formula of the lemma. Namely,
an element of $U_{n + 1}$ is a numbered collection of
$(f_0, \ldots, f_{n + 1})$ of $n$-simplices,
with the property that they glue
as they would in a $(n + 1)$-simplex. In other words,
the $i$th face of $f_j$ is the $(j-1)$st face of $f_i$
for $i < j$. Geometrically it is obvious how to define the
face and degeneracy maps for $\tilde U$.
If $V$ is an $(n + 1)$-truncated simplicial set,
then its $(n + 1)$-simplices give rise to compatible collections
of $n$-simplices $(f_0, \ldots, f_{n + 1})$ with $f_i \in V_n$.
Hence there is a natural map
$\Mor(\text{sk}_nV, U) \to \Mor(V, \tilde U)$
which is inverse to the canonical restriction mapping
the other way.

\medskip\noindent
Also, it is enough to do the combinatorics of the
construction in the case of truncated simplicial sets.
Namely, for any object $T$ of the category $\mathcal{C}$,
and any $n$-truncated simplicial object $U$ of $\mathcal{C}$
we can consider the $n$-truncated simplicial set
$\Mor(T, U)$. We may apply the construction to this,
and take its set of $(n + 1)$-simplices, and require this to be
representable. This is a good way to think about
the result of Lemma \ref{lemma-work-out}.
\end{remark}

\begin{remark}
\label{remark-inductive-coskelet}
{\it Inductive construction of coskelets.}
Suppose that $\mathcal{C}$ is a category with
finite limits. Suppose that $U$ is an $m$-truncated
simplicial object in $\mathcal{C}$. Then we can
inductively construct $n$-truncated objects $U^n$ as
follows:
\begin{enumerate}
\item To start, set $U^m = U$.
\item Given $U^n$ for $n \geq m$ set $U^{n + 1} = \tilde U^n$,
where $\tilde U^n$ is constructed from $U^n$ as in Lemma
\ref{lemma-work-out}.
\end{enumerate}
Since the construction of Lemma \ref{lemma-work-out} has
the property that it leaves the $n$-skeleton of $U^n$
unchanged, we can then define $\text{cosk}_m U$ to be
the simplicial object with
$(\text{cosk}_m U)_n = U^n_n = U^{n + 1}_n = \ldots$.
And it follows formally from Lemma \ref{lemma-work-out}
that $U^n$ satisfies the formula
$$
\Mor_{\text{Simp}_n(\mathcal{C})}(V, U^n)
=
\Mor_{\text{Simp}_m(\mathcal{C})}(\text{sk}_mV, U)
$$
for all $n \geq m$. It also then follows formally
from this that
$$
\Mor_{\text{Simp}(\mathcal{C})}(V, \text{cosk}_mU)
=
\Mor_{\text{Simp}_m(\mathcal{C})}(\text{sk}_mV, U)
$$
with $\text{cosk}_mU$ chosen as above.
\end{remark}

\begin{lemma}
\label{lemma-cosk-up}
Let $\mathcal{C}$ be a category which has finite limits.
\begin{enumerate}
\item For every $n$ the functor $\text{sk}_n : \text{Simp}(\mathcal{C})
\to \text{Simp}_n(\mathcal{C})$ has a right adjoint $\text{cosk}_n$.
\item For every $n' \geq n$ the functor
$\text{sk}_n : \text{Simp}_{n'}(\mathcal{C}) \to \text{Simp}_n(\mathcal{C})$
has a right adjoint, namely $\text{sk}_{n'}\text{cosk}_n$.
\item For every $m \geq n \geq 0$ and every $n$-truncated simplicial
object $U$ of $\mathcal{C}$ we have
$\text{cosk}_m \text{sk}_m \text{cosk}_n U = \text{cosk}_n U$.
\item If $U$ is a simplicial object of $\mathcal{C}$ such that
the canonical map
$U \to \text{cosk}_n \text{sk}_nU$
is an isomorphism for some $n \geq 0$, then the canonical map
$U \to \text{cosk}_m \text{sk}_mU$
is an isomorphism for all $m \geq n$.
\end{enumerate}
\end{lemma}

\begin{proof}
The existence in (1) follows from Lemma \ref{lemma-existence-cosk} above
and the equality in (2), and (3) follows from the discussion
in Remark \ref{remark-inductive-coskelet}. After this (4) is obvious.
\end{proof}

\begin{lemma}
\label{lemma-cosk-product}
Let $U$, $V$ be $n$-truncated simplicial objects of a
category $\mathcal{C}$. Then
$$
\text{cosk}_n (U \times V) = \text{cosk}_nU \times \text{cosk}_nV
$$
whenever the left and right hand sides exist.
\end{lemma}

\begin{proof}
Let $W$ be a simplicial object. We have
\begin{eqnarray*}
\Mor(W, \text{cosk}_n (U \times V))
& = &
\Mor(\text{sk}_n W, U \times V) \\
& = &
\Mor(\text{sk}_n W, U)
\times
\Mor(\text{sk}_nW, V) \\
& = &
\Mor(W, \text{cosk}_n U)
\times
\Mor(W, \text{cosk}_n V) \\
& = &
\Mor(W, \text{cosk}_n U \times \text{cosk}_n V)
\end{eqnarray*}
The lemma follows.
\end{proof}

\begin{lemma}
\label{lemma-cosk-fibre-product}
Assume $\mathcal{C}$ has fibre products.
Let $U, V, W$ be $n$-truncated simplicial objects of the
category $\mathcal{C}$. Then
$$
\text{cosk}_n (V \times_U W)
=
\text{cosk}_nU \times_{\text{cosk}_n U} \text{cosk}_nV
$$
\end{lemma}

\begin{proof}
Omitted, but very similar to the proof of
Lemma \ref{lemma-cosk-product} above.
\end{proof}

\begin{lemma}
\label{lemma-cosk-above-object}
Let $\mathcal{C}$ be a category with finite limits.
Let $X \in \Ob(\mathcal{C})$.
The functor $\mathcal{C}/X \to \mathcal{C}$ commutes with
the coskelet functors $\text{cosk}_k$ for $k \geq 1$.
\end{lemma}

\begin{proof}
The statement means that if $U$ is a simplicial object of $\mathcal{C}/X$
which we can think of as a simplicial object of $\mathcal{C}$ with a morphism
towards the constant simplicial object $X$, then $\text{cosk}_k U$
computed in $\mathcal{C}/X$ is the same as computed in $\mathcal{C}$.
This follows for example from
Categories, Lemma \ref{categories-lemma-connected-limit-over-X}
because the categories $(\Delta/[n])_{\leq k}$ for $k \geq 1$ and
$n \geq k + 1$ used in Lemma \ref{lemma-existence-cosk}
are connected. Observe that we do not need the categories
for $n \leq k$ by Lemma \ref{lemma-trivial-cosk} or
Lemma \ref{lemma-recover-cosk}.
\end{proof}

\begin{lemma}
\label{lemma-simplex-cosk}
The canonical map
$\Delta[n] \to \text{cosk}_1 \text{sk}_1 \Delta[n]$
is an isomorphism.
\end{lemma}

\begin{proof}
Consider a simplicial set $U$ and a morphism
$f : U \to \Delta[n]$. This is a rule that associates
to each $u \in U_i$ a map $f_u : [i] \to [n]$ in $\Delta$.
Furthermore, these maps should have the property that
$f_u \circ \varphi = f_{U(\varphi)(u)}$ for any
$\varphi : [j] \to [i]$. Denote $\epsilon^i_j : [0] \to [i]$
the map which maps $0$ to $j$. Denote $F : U_0 \to [n]$
the map $u \mapsto f_u(0)$. Then we see that
$$
f_u(j) = F(\epsilon^i_j(u))
$$
for all $0 \leq j \leq i$ and $u \in U_i$.
In particular, if we know the function $F$
then we know the maps $f_u$ for all $u\in U_i$ all $i$.
Conversely, given a map $F : U_0 \to [n]$,
we can set for any $i$, and any $u \in U_i$
and any $0 \leq j \leq i$
$$
f_u(j) = F(\epsilon^i_j(u))
$$
This does not in general define a morphism $f$ of simplicial sets
as above. Namely, the condition is that all the maps $f_u$ are
nondecreasing. This clearly is equivalent to the condition
that $F(\epsilon^i_j(u)) \leq F(\epsilon^i_{j'}(u))$
whenever $0 \leq j \leq j' \leq i$ and $u \in U_i$. But in this
case the morphisms
$$
\epsilon^i_j, \epsilon^i_{j'} : [0] \to [i]
$$
both factor through the map
$\epsilon^i_{j, j'} : [1] \to [i]$ defined by the rules
$0 \mapsto j$, $1 \mapsto j'$.
In other words, it is enough to check the inequalities for
$i = 1$ and $u \in X_1$. In other words, we have
$$
\Mor(U, \Delta[n])
=
\Mor(\text{sk}_1 U, \text{sk}_1 \Delta[n])
$$
as desired.
\end{proof}



\section{Augmentations}
\label{section-augmentation}

\begin{definition}
\label{definition-augmentation}
Let $\mathcal{C}$ be a category.
Let $U$ be a simplicial object of $\mathcal{C}$.
An {\it augmentation $\epsilon : U \to X$ of
$U$ towards an object $X$ of $\mathcal{C}$}
is a morphism from $U$ into the constant simplicial
object $X$.
\end{definition}

\begin{lemma}
\label{lemma-augmentation-howto}
Let $\mathcal{C}$ be a category.
Let $x \in \Ob(\mathcal{C})$.
Let $U$ be a simplicial object of $\mathcal{C}$.
To give an augmentation of $U$ towards $X$ is
the same as giving a morphism $\epsilon_0 : U_0 \to X$
such that $\epsilon_0 \circ d^1_0 = \epsilon_0 \circ d^1_1$.
\end{lemma}

\begin{proof}
Given a morphism $\epsilon : U \to X$
we certainly obtain an $\epsilon_0$ as in the lemma.
Conversely, given $\epsilon_0$ as in the lemma, define
$\epsilon_n : U_n \to X$ by choosing any
morphism $\alpha : [0] \to [n]$ and taking
$\epsilon_n = \epsilon_0 \circ U(\alpha)$.
Namely, if $\beta : [0] \to [n]$ is another
choice, then there exists a morphism
$\gamma : [1] \to [n]$ such that $\alpha$
and $\beta$ both factor as $[0] \to [1] \to [n]$.
Hence the condition on $\epsilon_0$ shows that
$\epsilon_n$ is well defined. Then it is
easy to show that $(\epsilon_n) : U \to X$
is a morphism of simplicial objects.
\end{proof}

\begin{lemma}
\label{lemma-cosk-minus-one}
Let $\mathcal{C}$ be a category with fibred products.
Let $f : Y\to X$ be a morphism of $\mathcal{C}$. Let $U$ be the
simplicial object of $\mathcal{C}$ whose $n$th term
is the $(n + 1)$fold fibred product
$Y \times_X Y \times_X \ldots \times_X Y$.
See Example \ref{example-fibre-products-simplicial-object}.
For any simplicial object $V$ of $\mathcal{C}$ we have
\begin{eqnarray*}
\Mor_{\text{Simp}(\mathcal{C})}(V, U)
& = &
\Mor_{\text{Simp}_{\leq 1}(\mathcal{C})}(\text{sk}_1 V, \text{sk}_1 U) \\
& = & \{
g_0 : V_0 \to Y \mid
f \circ g_0 \circ d^1_0 = f \circ g_0 \circ d^1_1
\}
\end{eqnarray*}
In particular we have $U = \text{cosk}_1 \text{sk}_1 U$.
\end{lemma}

\begin{proof}
Suppose that $g : \text{sk}_1V \to \text{sk}_1U$ is a morphism of
$1$-truncated simplicial objects. Then the diagram
$$
\xymatrix{
V_1 \ar@<1ex>[r]^{d^1_0} \ar@<-1ex>[r]_{d^1_1} \ar[d]_{g_1} &
V_0 \ar[d]^{g_0} & \\
Y \times_X Y \ar@<1ex>[r]^{pr_1} \ar@<-1ex>[r]_{pr_0} &
Y \ar[r] & X
}
$$
is commutative, which proves that the relation shown in
the lemma holds. We have to show that,
conversely, given a morphism $g_0$ satisfying the relation
$f \circ g_0 \circ d^1_0 = f \circ g_0 \circ d^1_1$
we get a unique morphism of simplicial objects $g : V \to U$.
This is done as follows. For any $n \geq 1$ let
$g_{n, i} = g_0 \circ V([0] \to [n], 0 \mapsto i) :
V_n \to Y$. The equality above implies that
$f \circ g_{n, i} = f \circ g_{n, i + 1}$ because of
the commutative diagram
$$
\xymatrix{
[0] \ar[rd]_{0 \mapsto 0} \ar[rrrrrd]^{0 \mapsto i} & & & & & \\
& [1] \ar[rrrr]^{0 \mapsto i, 1\mapsto i + 1} & & & & [n] \\
[0] \ar[ru]^{0 \mapsto 1} \ar[rrrrru]_{0 \mapsto i + 1} & & & & &
}
$$
Hence we get
$(g_{n, 0}, \ldots, g_{n, n}) : V_n \to Y \times_X\ldots \times_X Y = U_n$.
We leave it to the reader to see that this is a morphism of simplicial
objects. The last assertion of the lemma is equivalent to the
first equality in the displayed formula of the lemma.
\end{proof}

\begin{remark}
\label{remark-augmentation}
Let $\mathcal{C}$ be a category with fibre products.
Let $V$ be a simplicial object.
Let $\epsilon : V \to X$ be an augmentation.
Let $U$ be the simplicial object whose $n$th term
is the $(n + 1)$st fibred product of $V_0$ over $X$.
By a simple combination of
Lemmas \ref{lemma-augmentation-howto} and \ref{lemma-cosk-minus-one}
we  obtain a canonical morphism
$V \to U$.
\end{remark}





\section{Left adjoints to the skeleton functors}
\label{section-adjoint-left}

\noindent
In this section we construct a left adjoint $i_{m!}$
of the skeleton functor $\text{sk}_m$ in certain cases.
The adjointness formula is
$$
\Mor_{\text{Simp}_m(\mathcal{C})}(U, \text{sk}_mV)
=
\Mor_{\text{Simp}(\mathcal{C})}(i_{m!}U, V).
$$
It turns out that this left adjoint exists when
the category $\mathcal{C}$ has finite colimits.

\medskip\noindent
We use a similar construction as in Section \ref{section-skelet}.
Recall the category $[n]/\Delta$ of objects
under $[n]$, see
Categories, Example \ref{categories-example-category-under-X}.
Its objects are morphisms $\alpha : [n] \to [k]$
and its morphisms are commutative triangles.
We let $([n]/\Delta)_{\leq m}$ denote the full subcategory
of $[n]/\Delta$ consisting of objects $[n] \to [k]$
with $k \leq m$. Given a $m$-truncated
simplicial object $U$ of $\mathcal{C}$
we define a functor
$$
U(n) : ([n]/\Delta)_{\leq m}^{opp} \longrightarrow \mathcal{C}
$$
by the rules
\begin{eqnarray*}
([n] \to [k]) & \longmapsto & U_k \\
(\psi : ([n] \to [k']) \to ([n] \to [k]))
& \longmapsto &
U(\psi) : U_k \to U_{k'}
\end{eqnarray*}
For a given morphism $\varphi : [n] \to [n']$ of $\Delta$
we have an associated functor
$$
"\varphi" : ([n']/\Delta)_{\leq m} \longrightarrow ([n]/\Delta)_{\leq m}
$$
which maps $\alpha : [n'] \to [k]$ to
$\varphi \circ \alpha : [n] \to [k]$.
The composition $U(n) \circ "\varphi"$ is
equal to the functor $U(n')$.

\begin{lemma}
\label{lemma-left-adjoint-exists}
Let $\mathcal{C}$ be a category which has finite colimits.
The functors $i_{m!}$ exist for all $m$.
Let $U$ be an $m$-truncated simplicial object of $\mathcal{C}$.
The simplicial object $i_{m!}U$
is described by the formula
$$
(i_{m!}U)_n = \colim_{([n]/\Delta)_{\leq m}^{opp}} U(n)
$$
and for $\varphi : [n] \to [n']$ the map
$i_{m!}U(\varphi)$ comes from the
identification $U(n) \circ "\varphi" = U(n')$ above
via Categories, Lemma \ref{categories-lemma-functorial-colimit}.
\end{lemma}

\begin{proof}
In this proof we denote $i_{m!}U$ the simplicial object
whose $n$th term is given by the displayed formula of the
lemma. We will show it satisfies the adjointness property.

\medskip\noindent
Let $V$ be a simplicial object of $\mathcal{C}$.
Let $\gamma : U \to \text{sk}_mV$ be given.
A morphism
$$
\colim_{([n]/\Delta)_{\leq m}^{opp}} U(n) \to T
$$
is given by a compatible system of morphisms
$f_\alpha : U_k \to T$ where $\alpha : [n] \to [k]$
with $k \leq m$. Certainly, we have such a system of
morphisms by taking the compositions
$$
U_k \xrightarrow{\gamma_k} V_k \xrightarrow{V(\alpha)} V_n.
$$
Hence we get an induced morphism $(i_{m!}U)_n \to V_n$.
We leave it to the reader to see that these form a
morphism of simplicial objects $\gamma' : i_{m!}U \to V$.

\medskip\noindent
Conversely, given a morphism $\gamma' : i_{m!}U \to V$ we obtain
a morphism $\gamma : U \to \text{sk}_m V$ by setting
$\gamma_i : U_i \to V_i$ equal to the composition
$$
U_i
\xrightarrow{\text{id}_{[i]}}
\colim_{([i]/\Delta)_{\leq m}^{opp}} U(i)
\xrightarrow{\gamma'_i}
V_i
$$
for $0 \leq i \leq n$. We leave it to the reader to see that
this is the inverse of the construction above.
\end{proof}

\begin{lemma}
\label{lemma-recovering-U}
Let $\mathcal{C}$ be a category.
Let $U$ be an $m$-truncated simplicial object of $\mathcal{C}$.
For any $n \leq m$ the colimit
$$
\colim_{([n]/\Delta)_{\leq m}^{opp}} U(n)
$$
exists and is equal to $U_n$.
\end{lemma}

\begin{proof}
This is so because the category $([n]/\Delta)_{\leq m}$
has an initial object, namely $\text{id} : [n] \to [n]$.
\end{proof}

\begin{lemma}
\label{lemma-recovering-U-for-real}
Let $\mathcal{C}$ be a category which has finite colimits.
Let $U$ be an $m$-truncated simplicial object of $\mathcal{C}$.
The map $U \to \text{sk}_m i_{m!}U$ is an isomorphism.
\end{lemma}

\begin{proof}
Combine Lemmas \ref{lemma-left-adjoint-exists} and \ref{lemma-recovering-U}.
\end{proof}

\begin{lemma}
\label{lemma-imshriek-sets}
If $U$ is an $m$-truncated simplicial set and $n > m$
then all $n$-simplices of $i_{m!}U$ are degenerate.
\end{lemma}

\begin{proof}
This can be seen from the construction of
$i_{m!}U$ in Lemma \ref{lemma-left-adjoint-exists},
but we can also argue directly as follows.
Write $V = i_{m!}U$. Let $V' \subset V$ be the
simplicial subset with $V'_i = V_i$ for $i \leq m$
and all $i$ simplices degenerate for $i > m$,
see Lemma \ref{lemma-simplicial-set-n-skel-sub}.
By the adjunction formula,
since $\text{sk}_m V' = U$, there is an inverse to the
injection $V' \to V$. Hence $V' = V$.
\end{proof}

\begin{lemma}
\label{lemma-n-skeleton-sets}
Let $U$ be a simplicial set.
Let $n \geq 0$ be an integer.
The morphism $i_{n!} \text{sk}_n U \to U$ identifies
$i_{n!} \text{sk}_n U$ with the simplicial set
$U' \subset U$ defined in Lemma \ref{lemma-simplicial-set-n-skel-sub}.
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-imshriek-sets} the only
nondegenerate simplices of $i_{n!} \text{sk}_n U$
are in degrees $\leq n$. The map
$i_{n!} \text{sk}_n U \to U$ is an isomorphism
in degrees $\leq n$. Combined we conclude
that the map $i_{n!} \text{sk}_n U \to U$ maps
nondegenerate simplices to nondegenerate simplices
and no two nondegenerate simplices have the same image.
Hence Lemma \ref{lemma-injective-map-simplicial-sets} applies.
Thus $i_{n!} \text{sk}_n U \to U$
is injective. The result follows easily from this.
\end{proof}

\begin{remark}
\label{remark-sk-literature}
In some texts the composite functor
$$
\text{Simp}(\mathcal{C})
\xrightarrow{\text{sk}_m}
\text{Simp}_m(\mathcal{C})
\xrightarrow{i_{m!}}
\text{Simp}(\mathcal{C})
$$
is denoted $\text{sk}_m$. This makes sense because
Lemma \ref{lemma-n-skeleton-sets} says
that $i_{m!} \text{sk}_m V$ is just the sub simplicial set
of $V$ consisting of all $i$-simplices of $V$, $i \leq m$
and their degeneracies. In those texts it is also customary
to denote the composition
$$
\text{Simp}(\mathcal{C})
\xrightarrow{\text{sk}_m}
\text{Simp}_m(\mathcal{C})
\xrightarrow{\text{cosk}_m}
\text{Simp}(\mathcal{C})
$$
by $\text{cosk}_m$.
\end{remark}

\begin{lemma}
\label{lemma-glue-simplex}
Let $U \subset V$ be simplicial sets.
Suppose $n \geq 0$ and $x \in V_n$, $x \not \in U_n$ are such that
\begin{enumerate}
\item $V_i = U_i$ for $i < n$,
\item $V_n = U_n \cup \{x\}$,
\item any $z \in V_j$, $z \not \in U_j$ for $j > n$
is degenerate.
\end{enumerate}
Let $\Delta[n] \to V$ be the unique morphism mapping the
nondegenerate $n$-simplex of $\Delta[n]$ to $x$.
In this case the diagram
$$
\xymatrix{
\Delta[n] \ar[r] & V \\
i_{(n - 1)!} \text{sk}_{n - 1} \Delta[n] \ar[r] \ar[u] & U \ar[u]
}
$$
is a pushout diagram.
\end{lemma}

\begin{proof}
Let us denote $\partial \Delta[n] = i_{(n - 1)!} \text{sk}_{n - 1} \Delta[n]$
for convenience. There is a natural map
$U \amalg_{\partial \Delta[n]} \Delta[n] \to V$.
We have to show that it is bijective in degree $j$
for all $j$. This is clear for $j \leq n$. Let $j > n$.
The third condition means that any $z \in V_j$, $z \not \in U_j$
is a degenerate simplex, say $z = s^{j - 1}_i(z')$. Of course
$z' \not \in U_{j - 1}$. By induction it follows that $z'$
is a degeneracy of $x$. Thus we conclude that all $j$-simplices
of $V$ are either in $U$ or degeneracies of $x$. This implies
that the map $U \amalg_{\partial \Delta[n]} \Delta[n] \to V$
is surjective. Note that a nondegenerate simplex of
$U \amalg_{\partial \Delta[n]} \Delta[n]$ is either
the image of a nondegenerate simplex of $U$, or
the image of the (unique) nondegenerate $n$-simplex
of $\Delta[n]$. Since clearly $x$ is nondegenerate we
deduce that $U \amalg_{\partial \Delta[n]} \Delta[n] \to V$
maps nondegenerate simplices to nondegenerate simplices
and is injective on nondegenerate simplices. Hence it is
injective, by Lemma \ref{lemma-injective-map-simplicial-sets}.
\end{proof}

\begin{lemma}
\label{lemma-add-simplices}
Let $U \subset V$ be simplicial sets, with $U_n, V_n$
finite nonempty for all $n$.
Assume that $U$ and $V$ have finitely many nondegenerate simplices.
Then there exists a sequence of sub simplicial sets
$$
U = W^0 \subset W^1 \subset W^2 \subset \ldots W^r = V
$$
such that Lemma \ref{lemma-glue-simplex} applies to each of
the inclusions $W^i \subset W^{i + 1}$.
\end{lemma}

\begin{proof}
Let $n$ be the smallest integer such that $V$ has a nondegenerate
simplex that does not belong to $U$. Let $x \in V_n$, $x\not \in U_n$
be such a nondegenerate simplex. Let $W \subset V$ be the set
of elements which are either in $U$, or are a (repeated) degeneracy
of $x$ (in other words, are of the form $V(\varphi)(x)$
with $\varphi : [m] \to [n]$ surjective). It is easy to see
that $W$ is a simplicial set. The
inclusion $U \subset W$ satisfies the conditions of Lemma
\ref{lemma-glue-simplex}. Moreover the number of nondegenerate
simplices of $V$ which are not contained in $W$ is exactly
one less than the number of nondegenerate
simplices of $V$ which are not contained in $U$.
Hence we win by induction on this number.
\end{proof}

\begin{lemma}
\label{lemma-imshriek-abelian}
Let $\mathcal{A}$ be an abelian category
Let $U$ be an $m$-truncated simplicial object of
$\mathcal{A}$. For $n > m$ we have $N(i_{m!}U)_n = 0$.
\end{lemma}

\begin{proof}
Write $V = i_{m!}U$. Let $V' \subset V$ be the
simplicial subobject of $V$ with $V'_i = V_i$ for $i \leq m$
and $N(V'_i) = 0$ for $i > m$,
see Lemma \ref{lemma-simplicial-abelian-n-skel-sub}.
By the adjunction formula,
since $\text{sk}_m V' = U$, there is an inverse to the
injection $V' \to V$. Hence $V' = V$.
\end{proof}

\begin{lemma}
\label{lemma-n-skeleton-abelian}
Let $\mathcal{A}$ be an abelian category.
Let $U$ be a simplicial object of $\mathcal{A}$.
Let $n \geq 0$ be an integer.
The morphism $i_{n!} \text{sk}_n U \to U$ identifies
$i_{n!} \text{sk}_n U$ with the simplicial subobject
$U' \subset U$ defined in Lemma \ref{lemma-simplicial-abelian-n-skel-sub}.
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-imshriek-abelian}
we have $N(i_{n!} \text{sk}_n U)_i = 0$
for $i > n$. The map
$i_{n!} \text{sk}_n U \to U$ is an isomorphism
in degrees $\leq n$, see Lemma \ref{lemma-recovering-U-for-real}.
Combined we conclude that the map $i_{n!} \text{sk}_n U \to U$
induces injective maps $N(i_{n!} \text{sk}_n U)_i \to N(U)_i$
for all $i$. Hence Lemma \ref{lemma-injective-map-simplicial-abelian}
applies. Thus $i_{n!} \text{sk}_n U \to U$
is injective. The result follows easily from this.
\end{proof}

\noindent
Here is another way to think about the coskelet functor
using the material above.

\begin{lemma}
\label{lemma-cosk-shriek}
Let $\mathcal{C}$ be a category with finite coproducts
and finite limits. Let $V$ be a simplicial object of $\mathcal{C}$.
In this case
$$
(\text{cosk}_n \text{sk}_n V)_{n + 1}
=
\Hom(i_{n !}\text{sk}_n \Delta[n + 1], V)_0.
$$
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-morphism-from-coproduct}
the object on the left represents the functor
which assigns to $X$ the first set of the following
equalities
\begin{eqnarray*}
\Mor(X \times \Delta[n + 1], \text{cosk}_n \text{sk}_n V)
& = &
\Mor(X \times \text{sk}_n \Delta[n + 1], \text{sk}_n V) \\
& = &
\Mor(X \times i_{n !} \text{sk}_n \Delta[n + 1], V).
\end{eqnarray*}
The object on the right in the formula of the lemma
is represented by the functor which assigns to $X$
the last set in the sequence of equalities.
This proves the result.

\medskip\noindent
In the sequence of equalities we have used that
$\text{sk}_n (X \times \Delta[n + 1]) = X \times \text{sk}_n \Delta[n + 1]$
and that
$i_{n!}(X \times \text{sk}_n \Delta[n + 1]) =
X \times i_{n !} \text{sk}_n \Delta[n + 1]$.
The first equality is obvious. For any (possibly truncated)
simplicial object $W$
of $\mathcal{C}$ and any object $X$ of $\mathcal{C}$
denote temporarily $\Mor_\mathcal{C}(X, W)$ the
(possibly truncated) simplicial set
$[n] \mapsto \Mor_\mathcal{C}(X, W_n)$. From the definitions
it follows that $\Mor(U \times X, W) =
\Mor(U, \Mor_\mathcal{C}(X, W))$ for any
(possibly truncated) simplicial set $U$. Hence
\begin{eqnarray*}
\Mor(X \times i_{n !} \text{sk}_n \Delta[n + 1], W)
& = &
\Mor(i_{n !} \text{sk}_n \Delta[n + 1], \Mor_\mathcal{C}(X, W)) \\
& = &
\Mor(\text{sk}_n \Delta[n + 1],
\text{sk}_n\Mor_\mathcal{C}(X, W)) \\
& = &
\Mor(X \times \text{sk}_n \Delta[n + 1], \text{sk}_nW) \\
& = &
\Mor(i_{n!}(X \times \text{sk}_n \Delta[n + 1]), W).
\end{eqnarray*}
This proves the second equality used, and ends the proof of the lemma.
\end{proof}

\begin{lemma}
\label{lemma-cosk-hom-deltak}
Let $\mathcal{C}$ be a category with finite coproducts
and finite limits. Let $X$ be an object of $\mathcal{C}$.
Let $k \geq 0$. The canonical map
$$
\Hom(\Delta[k], X)
\longrightarrow
\text{cosk}_1 \text{sk}_1 \Hom(\Delta[k], X)
$$
is an isomorphism.
\end{lemma}

\begin{proof}
For any simplicial object $V$ we have
\begin{eqnarray*}
\Mor(V, \text{cosk}_1 \text{sk}_1 \Hom(\Delta[k], X))
& = &
\Mor(\text{sk}_1 V, \text{sk}_1 \Hom(\Delta[k], X)) \\
& = &
\Mor(i_{1!} \text{sk}_1 V, \Hom(\Delta[k], X)) \\
& = &
\Mor(i_{1!} \text{sk}_1 V \times \Delta[k], X)
\end{eqnarray*}
The first equality by the adjointness of $\text{sk}$ and $\text{cosk}$,
the second equality by the adjointness of $i_{1!}$ and $\text{sk}_1$, and
the first equality by Definition \ref{definition-hom-from-simplicial-set}
where the last $X$ denotes the constant simplicial object with value $X$.
By Lemma \ref{lemma-augmentation-howto} an element
in this set depends only on the terms of degree $0$ and $1$
of $i_{1!} \text{sk}_1 V \times \Delta[k]$. These
agree with the degree $0$ and $1$ terms of
$V \times \Delta[k]$, see Lemma \ref{lemma-recovering-U-for-real}.
Thus the set above is equal to
$\Mor(V \times \Delta[k], X) = \Mor(V, \Hom(\Delta[k], X))$.
\end{proof}

\begin{lemma}
\label{lemma-cosk0-hom-deltak}
Let $\mathcal{C}$ be a category with finite coproducts
and finite limits. Let $X$ be an object of $\mathcal{C}$.
Let $k \geq 0$. The canonical map
$$
\Hom(\Delta[k], X)_1
\longrightarrow
(\text{cosk}_0 \text{sk}_0 \Hom(\Delta[k], X))_1
$$
is identified with the map
$$
\prod\nolimits_{\alpha : [k] \to [1]} X
\longrightarrow
X \times X
$$
which is the projection onto the factors where $\alpha$
is a constant map.
\end{lemma}

\begin{proof}
It is shown in Example \ref{example-cosk0} that
$\text{cosk}_0 Z$ equals $Z \times Z$ in degree $1$.
Moreover, it is true in general that the morphism
$V_1 \to (\text{cosk}_0 \text{sk}_0 V)_1$ is
the morphism $(d^1_0, d^1_1) : V_1 \to V_0 \times V_0$
(left to the reader). Thus we simply have to compute
the $0$th and $1$st term of $\Hom(\Delta[k], X)$.
According to Lemma \ref{lemma-morphism-into-product}
we have
$\Hom(\Delta[k], X)_0 = \prod_{\alpha : [k] \to [0]} X = X$,
and $\Hom(\Delta[k], X)_0 = \prod_{\alpha : [k] \to [1]} X$.
The lemma follows from the description of the
morphisms of the simplicial object just above
Lemma \ref{lemma-morphism-into-product}.
\end{proof}




\section{Simplicial objects in abelian categories}
\label{section-abelian}

\noindent
Recall that an abelian category is defined
in Homology, Section \ref{homology-section-abelian-categories}.

\begin{lemma}
\label{lemma-abelian}
Let $\mathcal{A}$ be an abelian category.
\begin{enumerate}
\item The categories $\text{Simp}(\mathcal{A})$ and
$\text{CoSimp}(\mathcal{A})$ are abelian.
\item A morphism of (co)simplicial objects
$f : A \to B$ is injective
if and only if each $f_n : A_n \to B_n$ is injective.
\item A morphism of (co)simplicial objects
$f : A \to B$ is surjective
if and only if each $f_n : A_n \to B_n$ is surjective.
\item A sequence of (co)simplicial objects
$$
A \xrightarrow{f} B \xrightarrow{g} C
$$
is exact at $B$ if and only if each sequence
$$
A_i \xrightarrow{f_i} B_i \xrightarrow{g_i} C_i
$$
is exact at $B_i$.
\end{enumerate}
\end{lemma}

\begin{proof}
Pre-additivity is easy. A final object is
given by $U_n = 0$ in all degrees.
Existence of direct products we saw in
Lemmas \ref{lemma-product} and
\ref{lemma-product-cosimplicial-objects}.
Kernels and cokernels are obtained by taking
termwise kernels and cokernels.
\end{proof}

\noindent
For an object $A$ of $\mathcal{A}$ and an integer
$k$ consider the $k$-truncated simplicial object
$U$ with
\begin{enumerate}
\item $U_i = 0$ for $i < k$,
\item $U_k = A$,
\item all morphisms $U(\varphi)$ equal to zero,
except $U(\text{id}_{[k]}) = \text{id}_A$.
\end{enumerate}
Since $\mathcal{A}$ has both finite limits and finite colimits
we see that both $\text{cosk}_k U$ and $i_{k!}U$ exist.
We will describe both of these and the canonical
map $i_{k!}U \to \text{cosk}_kU$.

\begin{lemma}
\label{lemma-eilenberg-maclane-object}
With $A$, $k$ and $U$ as above, so $U_i = 0$, $i < k$ and $U_k = A$.
\begin{enumerate}
\item Given a $k$-truncated simplicial object $V$
we have
$$
\Mor(U, V)
=
\{ f : A \to V_k \mid d^k_i \circ f = 0, \ i = 0, \ldots, k \}
$$
and
$$
\Mor(V, U)
=
\{ f : V_k \to A \mid f \circ s^{k - 1}_i = 0, \ i = 0, \ldots, k - 1 \}.
$$
\item The object $i_{k!} U$ has $n$th term equal to
$\bigoplus_\alpha A$ where $\alpha$ runs over all
surjective morphisms $\alpha : [n] \to [k]$.
\item For any $\varphi : [m] \to [n]$ the map
$i_{k!} U(\varphi)$ is described as the mapping
$\bigoplus_\alpha A \to \bigoplus_{\alpha'} A$
which maps to component corresponding to $\alpha : [n] \to [k]$
to zero if $\alpha \circ \varphi$ is not surjective and
by the identity to the component corresponding to
$\alpha \circ \varphi$ if it is surjective.
\item The object $\text{cosk}_k U$ has $n$th term equal to
$\bigoplus_\beta A$, where $\beta$ runs over all
injective morphisms $\beta : [k] \to [n]$.
\item For any $\varphi : [m] \to [n]$ the map
$\text{cosk}_k U(\varphi)$ is described as the mapping
$\bigoplus_\beta A \to \bigoplus_{\beta'} A$
which maps to component corresponding to $\beta : [k] \to [n]$
to zero if $\beta$ does not factor through $\varphi$ and
by the identity to each of the components corresponding to
$\beta'$ such that $\beta = \varphi \circ \beta'$
if it does.
\item The canonical map
$
c : i_{k !} U \to \text{cosk}_k U
$
in degree $n$ has $(\alpha, \beta)$ coefficient $A \to A$
equal to zero if $\alpha \circ \beta$ is not the identity
and equal to $\text{id}_A$ if it is.
\item The canonical map
$
c : i_{k !} U \to \text{cosk}_k U
$
is injective.
\end{enumerate}
\end{lemma}

\begin{proof}
The proof of (1) is left to the reader.

\medskip\noindent
Let us take the rules of (2) and (3)
as the definition of a simplicial object, call it $\tilde U$.
We will show that it is an incarnation of $i_{k!}U$.
This will prove (2), (3) at the same time. We have to show
that given a morphism $f : U \to \text{sk}_kV$
there exists a unique morphism $\tilde f : \tilde U \to V$
which recovers $f$ upon taking the $k$-skeleton.
From (1) we see that $f$ corresponds with a morphism
$f_k : A \to V_k$ which maps into the kernel of
$d^k_i$ for all $i$. For any surjective $\alpha : [n] \to [k]$
we set $\tilde f_\alpha : A \to V_n$ equal to the composition
$\tilde f_\alpha = V(\alpha) \circ f_k : A \to V_n$. We define
$\tilde f_n : \tilde U_n \to V_n$ as the sum of
the $\tilde f_\alpha$ over $\alpha : [n] \to [k]$ surjective.
Such a collection of $\tilde f_\alpha$ defines a morphism
of simplicial objects if and only if
for any $\varphi : [m] \to [n]$ the diagram
$$
\xymatrix{
\bigoplus_{\alpha : [n] \to [k]\text{ surjective}} A
\ar[r]_-{\tilde f_n}
\ar[d]_{(3)} &
V_n \ar[d]^{V(\varphi)} \\
\bigoplus_{\alpha' : [m] \to [k]\text{ surjective}} A
\ar[r]^-{\tilde f_m} &
V_m
}
$$
is commutative. Choosing $\varphi = \alpha$ shows our choice of
$\tilde f_\alpha$ is uniquely determined by $f_k$.
The commutativity in general may be checked for each summand
of the left upper corner separately. It is clear for the
summands corresponding to $\alpha$ where
$\alpha \circ \varphi$ is surjective, because those get
mapped by $\text{id}_A$ to the summand with
$\alpha' = \alpha \circ \varphi$, and we have
$\tilde f_{\alpha'} = V(\alpha') \circ f_k =
V(\alpha \circ \varphi) \circ f_k = V(\varphi) \circ \tilde f_\alpha$.
For those where $\alpha \circ \varphi$
is not surjective, we have to show that $V(\varphi) \circ \tilde f_\alpha = 0$.
By definition this is equal to
$V(\varphi) \circ V(\alpha) \circ f_k = V(\alpha \circ \varphi) \circ f_k$.
Since $\alpha \circ \varphi$ is not surjective we can write it
as $\delta^k_i \circ \psi$, and we deduce that
$V(\varphi) \circ V(\alpha) \circ f_k =
V(\psi) \circ d^k_i \circ f_k = 0$ see above.

\medskip\noindent
Let us take the rules of (4) and (5)
as the definition of a simplicial object, call it $\tilde U$.
We will show that it is an incarnation of $\text{cosk}_k U$.
This will prove (4), (5) at the same time. The argument is completely dual
to the proof of (2), (3) above, but we give it anyway.
We have to show
that given a morphism $f : \text{sk}_kV \to U$
there exists a unique morphism $\tilde f : V \to \tilde U$
which recovers $f$ upon taking the $k$-skeleton.
From (1) we see that $f$ corresponds with a morphism
$f_k : V_k \to A$ which is zero on the image of $s^{k - 1}_i$
for all $i$. For any injective $\beta : [k] \to [n]$
we set $\tilde f_\beta : V_n \to A$ equal to the composition
$\tilde f_\beta = f_k \circ V(\beta) : V_n \to A$. We define
$\tilde f_n : V_n \to \tilde U_n$ as the sum of
the $\tilde f_\beta$ over $\beta : [k] \to [n]$ injective.
Such a collection of $\tilde f_\beta$ defines a morphism
of simplicial objects if and only if
for any $\varphi : [m] \to [n]$ the diagram
$$
\xymatrix{
V_n
\ar[d]_{V(\varphi)}
\ar[r]_-{\tilde f_n}
&
\bigoplus_{\beta : [k] \to [n]\text{ injective}} A
\ar[d]^{(5)}
\\
V_m
\ar[r]^-{\tilde f_m}
&
\bigoplus_{\beta' : [k] \to [m]\text{ injective}} A
}
$$
is commutative. Choosing $\varphi = \beta$ shows our choice of
$\tilde f_\beta$ is uniquely determined by $f_k$.
The commutativity in general may be checked for each summand
of the right lower corner separately. It is clear for the
summands corresponding to $\beta'$ where
$\varphi \circ \beta'$ is injective, because these summands
get mapped into by exactly the summand with
$\beta = \varphi \circ \beta'$ and we have in that case
$\tilde f_{\beta'} \circ V(\varphi) =
f_k \circ V(\beta') \circ V(\varphi) =
f_k \circ V(\beta) = \tilde f_\beta$. For those where
$\varphi \circ \beta'$ is not injective,
we have to show that $\tilde f_{\beta'} \circ V(\varphi) = 0$.
By definition this is equal to
$f_k \circ V(\beta') \circ V(\varphi) =
f_k \circ V(\varphi \circ \beta')$.
Since $\varphi \circ \beta'$ is not injective we can write it
as $\psi \circ \sigma^{k - 1}_i$, and we deduce that
$f_k \circ V(\beta') \circ V(\varphi) =
f_k \circ s^{k - 1}_i \circ V(\psi) = 0$ see above.

\medskip\noindent
The composition $i_{k!}U \to \text{cosk}_kU$ is the
unique map of simplicial objects which is
the identity on $A = U_k = (i_{k!}U)_k = (\text{cosk}_kU)_k$.
Hence it suffices to check that the proposed rule defines
a morphism of simplicial objects.
To see this we have to show that
for any $\varphi : [m] \to [n]$ the diagram
$$
\xymatrix{
\bigoplus_{\alpha : [n] \to [k]\text{ surjective}} A
\ar[d]_{(3)}
\ar[r]_{(6)}
&
\bigoplus_{\beta : [k] \to [n]\text{ injective}} A
\ar[d]^{(5)}
\\
\bigoplus_{\alpha' : [m] \to [k]\text{ surjective}} A
\ar[r]^{(6)}
&
\bigoplus_{\beta' : [k] \to [m]\text{ injective}} A
}
$$
is commutative. Now we can think of this in terms of
matrices filled with only $0$'s and $1$'s as follows:
The matrix of (3) has a nonzero
$(\alpha', \alpha)$ entry if and only if
$\alpha' = \alpha \circ \varphi$. Likewise
the matrix of (5) has a nonzero
$(\beta', \beta)$ entry if and only if
$\beta = \varphi \circ \beta'$. The upper matrix
of (6) has a nonzero $(\alpha, \beta)$ entry if and only if
$\alpha \circ \beta = \text{id}_{[k]}$. Similarly for the
lower matrix of (6). The commutativity of the
diagram then comes down to computing the
$(\alpha, \beta')$ entry for both compositions
and seeing they are equal. This comes down to the
following equality
$$
\# \left\{
\beta
\mid
\beta = \varphi \circ \beta' \wedge \alpha \circ \beta = \text{id}_{[k]}
\right\}
=
\# \left\{
\alpha'
\mid
\alpha' = \alpha \circ \varphi \wedge \alpha' \circ \beta' = \text{id}_{[k]}
\right\}
$$
whose proof may safely be left to the reader.

\medskip\noindent
Finally, we prove (7). This follows directly from
Lemmas \ref{lemma-injective-map-simplicial-abelian},
\ref{lemma-recover-cosk}, \ref{lemma-recovering-U-for-real}
and \ref{lemma-imshriek-abelian}.
\end{proof}

\begin{definition}
\label{definition-eilenberg-maclane}
Let $\mathcal{A}$ be an abelian category.
Let $A$ be an object of $\mathcal{A}$ and
let $k$ be an integer $\geq 0$.
The {\it Eilenberg-Maclane object $K(A, k)$}
is given by the object $K(A, k) = i_{k!}U$
which is described in
Lemma \ref{lemma-eilenberg-maclane-object} above.
\end{definition}


\begin{lemma}
\label{lemma-extension}
Let $\mathcal{A}$ be an abelian category.
Let $A$ be an object of $\mathcal{A}$ and
let $k$ be an integer $\geq 0$. Consider the
simplicial object $E$ defined by the following rules
\begin{enumerate}
\item $E_n = \bigoplus_\alpha A$, where the
sum is over $\alpha : [n] \to [k + 1]$ whose
image is either $[k]$ or $[k + 1]$.
\item Given $\varphi : [m] \to [n]$ the map
$E_n \to E_m$ maps the summand corresponding
to $\alpha$ via $\text{id}_A$ to the summand
corresponding to $\alpha \circ \varphi$,
provided $\text{Im}(\alpha \circ \varphi)$
is equal to $[k]$ or $[k + 1]$.
\end{enumerate}
Then there exists a short exact sequence
$$
0 \to K(A, k) \to E \to K(A, k + 1) \to 0
$$
which is term by term split exact.
\end{lemma}

\begin{proof}
The maps $K(A, k)_n \to E_n$ resp.\ $E_n \to K(A, k + 1)_n$
are given by the inclusion of direct sums, resp.\ projection
of direct sums which is obvious from the inclusions of index
sets. It is clear that these are maps of simplicial
objects.
\end{proof}

\begin{lemma}
\label{lemma-abelian-limit-skeleta}
Let $\mathcal{A}$ be an abelian category.
For any simplicial object $V$ of $\mathcal{A}$ we have
$$
V = \colim_n i_{n!}\text{sk}_n V
$$
where all the transition maps are injections.
\end{lemma}

\begin{proof}
This is true simply because each $V_m$ is
equal to $(i_{n!}\text{sk}_n V)_m$ as
soon as $n \geq m$. See also Lemma \ref{lemma-n-skeleton-abelian}
for the transition maps.
\end{proof}

\section{Simplicial objects and chain complexes}
\label{section-complexes}

\noindent
Let $\mathcal{A}$ be an abelian category. See
Homology, Section \ref{homology-section-complexes}
for conventions and notation regarding chain
complexes.
Let $U$ be a simplicial object of $\mathcal{A}$.
The {\it associated chain complex $s(U)$ of $U$},
sometimes called the {\it Moore complex}, is
the chain complex
$$
\ldots \to U_2 \to U_1 \to U_0 \to 0 \to 0 \to \ldots
$$
with boundary maps $d_n : U_n \to U_{n - 1}$
given by the formula
$$
d_n = \sum\nolimits_{i = 0}^n (-1)^i d^n_i.
$$
This is a complex because, by the relations listed
in Remark \ref{remark-relations}, we have
\begin{eqnarray*}
d_n \circ d_{n + 1}
& = &
(\sum\nolimits_{i = 0}^n (-1)^i d^n_i) \circ
(\sum\nolimits_{j = 0}^{n + 1} (-1)^j d^{n + 1}_j) \\
& = &
\sum\nolimits_{0 \leq i < j \leq n + 1}
(-1)^{i + j} d^n_{j - 1} \circ d^{n + 1}_i
+
\sum\nolimits_{n \geq i \geq j \geq 0}
(-1)^{i + j} d^n_i \circ d^{n + 1}_j \\
& = & 0.
\end{eqnarray*}
The signs cancel! We denote the associated chain complex
$s(U)$. Clearly, the construction is functorial
and hence defines a functor
$$
s : \text{Simp}(\mathcal{A}) \longrightarrow \text{Ch}_{\geq 0}(\mathcal{A}).
$$
Thus we have the confusing but correct formula $s(U)_n = U_n$.

\begin{lemma}
\label{lemma-s-exact}
The functor $s$ is exact.
\end{lemma}

\begin{proof}
Clear from Lemma \ref{lemma-abelian}.
\end{proof}

\begin{lemma}
\label{lemma-homology-extension}
Let $\mathcal{A}$ be an abelian category.
Let $A$ be an object of $\mathcal{A}$ and
let $k$ be an integer. Let $E$ be the object
described in Lemma \ref{lemma-extension}.
Then the complex $s(E)$ is acyclic.
\end{lemma}

\begin{proof}
For a morphism $\alpha : [n] \to [k + 1]$
we define $\alpha' : [n + 1] \to [k + 1]$ to be
the map such that $\alpha'|_{[n]} = \alpha$ and
$\alpha'(n + 1) = k + 1$. Note that if the
image of $\alpha$ is $[k]$ or $[k + 1]$, then
the image of $\alpha'$ is $[k + 1]$.
Consider the family of
maps $h_n : E_n \to E_{n + 1}$ which maps
the summand corresponding to $\alpha$ to
the summand corresponding to $\alpha'$ via
the identity on $A$.
Let us compute $d_{n + 1} \circ h_n - h_{n - 1} \circ d_n$.
We will first do this in case the category $\mathcal{A}$ is
the category of abelian groups.
Let us use the notation $x_\alpha$ to indicate
the element $x \in A$ in the summand of $E_n$ corresponding
to the map $\alpha$ occurring in the index set.
Let us also adopt the convention that
$x_\alpha$ designates the zero element of $E_n$
whenever $\text{Im}(\alpha)$ is not $[k]$ or $[k + 1]$.
With these conventions we see that
$$
d_{n + 1}(h_n(x_\alpha)) =
\sum\nolimits_{i = 0}^{n + 1} (-1)^i x_{\alpha' \circ \delta^{n + 1}_i}
$$
and
$$
h_{n - 1}(d_n(x_\alpha)) =
\sum\nolimits_{i = 0}^n (-1)^i x_{(\alpha \circ \delta_i^n)'}
$$
It is easy to see that
$\alpha' \circ \delta^{n + 1}_i = (\alpha \circ \delta_i^n)'$
for $i = 0, \ldots, n$. It is also easy to see that
$\alpha' \circ \delta^{n + 1}_{n + 1} = \alpha$. Thus we
see that
$$
(d_{n + 1} \circ h_n - h_{n - 1} \circ d_n)(x_\alpha)
=
(-1)^{n + 1} x_\alpha
$$
These identities continue to hold if $\mathcal{A}$ is any abelian
category because they hold in the simplicial abelian group
$[n] \mapsto \Hom(A, E_n)$; details left to the reader.
We conclude that the identity map on $E$ is
homotopic to zero, with homotopy given by the
system of maps $h'_n = (-1)^{n + 1}h_n : E_n \to E_{n + 1}$.
Hence we see that $E$ is acyclic, for
example by Homology, Lemma \ref{homology-lemma-map-homology-homotopy}.
\end{proof}

\begin{lemma}
\label{lemma-homology-eilenberg-maclane}
Let $\mathcal{A}$ be an abelian category.
Let $A$ be an object of $\mathcal{A}$ and
let $k$ be an integer. We have
$H_i(s(K(A, k))) = A$ if $i = k$ and
$0$ else.
\end{lemma}

\begin{proof}
First, let us prove this if $k = 0$.
In this case we have $K(A, 0)_n = A$ for all $n$.
Furthermore, all the maps in this simplicial abelian
group are $\text{id}_A$, in other words $K(A, 0)$
is the constant simplicial object with value $A$.
The boundary maps $d_n = \sum_{i = 0}^n (-1)^i \text{id}_A
= 0$ if $n$ odd and $ = \text{id}_A$ if $n$ is even.
Thus $s(K(A, 0))$ looks like this
$$
\ldots \to A \xrightarrow{0} A \xrightarrow{1} A \xrightarrow{0} A \to 0
$$
and the result is clear.

\medskip\noindent
Next, we prove the result for all $k$ by induction.
Given the result for $k$ consider the short exact sequence
$$
0 \to K(A, k) \to E \to K(A, k + 1) \to 0
$$
from Lemma \ref{lemma-extension}.
By Lemma \ref{lemma-abelian} the associated sequence of
chain complexes is exact.
By Lemma \ref{lemma-homology-extension} we see that
$s(E)$ is acyclic. Hence the result for $k + 1$
follows from the long exact sequence of homology,
see Homology, Lemma \ref{homology-lemma-long-exact-sequence-chain}.
\end{proof}

\noindent
There is a second chain complex we can associate to
a simplicial object of $\mathcal{A}$. Recall that by
Lemma \ref{lemma-splitting-abelian-category}
any simplicial object $U$ of $\mathcal{A}$
is canonically split with
$N(U_m) = \bigcap_{i = 0}^{m - 1} \text{Ker}(d^m_i)$.
We define the {\it normalized chain complex $N(U)$}
to be the chain complex
$$
\ldots \to N(U_2) \to N(U_1) \to N(U_0) \to 0 \to 0 \to \ldots
$$
with boundary map $d_n : N(U_n) \to N(U_{n - 1})$ given
by the restriction of $(-1)^nd^n_n$ to the direct summand
$N(U_n)$ of $U_n$. Note that Lemma \ref{lemma-N-d-in-N}
implies that $d^n_n(N(U_n)) \subset N(U_{n - 1})$.
It is a complex because
$d^n_n \circ d^{n + 1}_{n + 1} = d^n_n \circ d^{n + 1}_n$
and $d^{n + 1}_n$ is zero on $N(U_{n + 1})$ by definition.
Thus we obtain a second functor
$$
N : \text{Simp}(\mathcal{A}) \longrightarrow \text{Ch}_{\geq 0}(\mathcal{A}).
$$
Here is the reason for the sign in the differential.

\begin{lemma}
\label{lemma-map-associated-complexes}
Let $\mathcal{A}$ be an abelian category.
Let $U$ be a simplicial object of $\mathcal{A}$.
The canonical map $N(U_n) \to U_n$ gives rise to
a morphism of complexes $N(U) \to s(U)$.
\end{lemma}

\begin{proof}
This is clear because the differential
on $s(U)_n = U_n$ is $\sum (-1)^i d^n_i$ and
the maps $d^n_i$, $i < n$ are zero on $N(U_n)$,
whereas the restriction of $(-1)^nd^n_n$ is the boundary
map of $N(U)$ by definition.
\end{proof}

\begin{lemma}
\label{lemma-N-K}
Let $\mathcal{A}$ be an abelian category.
Let $A$ be an object of $\mathcal{A}$ and
let $k$ be an integer. We have
$N(K(A, k))_i = A$ if $i = k$ and
$0$ else.
\end{lemma}

\begin{proof}
It is clear that $N(K(A, k))_i = 0$ when $i < k$
because $K(A, k)_i = 0$ in that case.
It is clear that $N(K(A, k))_k = A$ since
$K(A, k)_{k - 1} = 0$ and $K(A, k)_k = A$.
For $i > k$ we have $N(K(A, k))_i = 0$
by Lemma \ref{lemma-imshriek-abelian} and
the definition of $K(A, k)$, see Definition
\ref{definition-eilenberg-maclane}.
\end{proof}

\begin{lemma}
\label{lemma-decompose-associated-complexes}
Let $\mathcal{A}$ be an abelian category.
Let $U$ be a simplicial object of $\mathcal{A}$.
The canonical morphism of chain complexes
$N(U) \to s(U)$ is split. In fact,
$$
s(U) = N(U) \oplus A(U)
$$
for some complex $A(U)$. The construction $U \mapsto A(U)$
is functorial.
\end{lemma}

\begin{proof}
Define $A(U)_n$ to be the image of
$$
\bigoplus\nolimits_{\varphi : [n] \to [m]\text{ surjective}, \ m < n} N(U_m)
\xrightarrow{\bigoplus U(\varphi)}
U_n
$$
which is a subobject of $U_n$ complementary to
$N(U_n)$ according to Lemma \ref{lemma-splitting-abelian-category} and
Definition \ref{definition-split}. We show that
$A(U)$ is a subcomplex. Pick a surjective
map $\varphi : [n] \to [m]$ with $m < n$ and consider
the composition
$$
N(U_m) \xrightarrow{U(\varphi)} U_n \xrightarrow{d_n} U_{n - 1}.
$$
This composition is the sum of the maps
$$
N(U_m) \xrightarrow{U(\varphi \circ \delta^n_i)} U_{n - 1}
$$
with sign $(-1)^i$, $i = 0, \ldots, n$.

\medskip\noindent
First we will prove by ascending induction on $m$,
$0 \leq m < n - 1$ that all the maps $U(\varphi \circ \delta^n_i)$
map $N(U_m)$ into $A(U)_{n - 1}$. (The case $m = n - 1$ is treated below.)
Whenever the map $\varphi \circ \delta^n_i : [n - 1] \to [m]$
is surjective then the image of $N(U_m)$ under $U(\varphi \circ \delta^n_i)$
is contained in $A(U)_{n - 1}$ by definition.
If $\varphi \circ \delta^n_i : [n - 1] \to [m]$ is not surjective,
set $j = \varphi(i)$ and observe that $i$ is the unique
index whose image under $\varphi$ is $j$. We may write
$\varphi \circ \delta^n_i = \delta^m_j \circ \psi \circ \delta^n_i$
for some $\psi : [n - 1] \to [m - 1]$. Hence
$U(\varphi \circ \delta^n_i) = U(\psi \circ \delta^n_i) \circ d^m_j$ which
is zero on $N(U_m)$ unless $j = m$. If $j = m$, then
$d^m_m(N(U_m)) \subset N(U_{m - 1})$ and hence
$U(\varphi \circ \delta^n_i)(N(U_m)) \subset
U(\psi \circ \delta^n_i)(N(U_{m - 1}))$ and we win
by induction hypothesis.

\medskip\noindent
To finish proving that $A(U)$ is a subcomplex
we still have to deal with the composition
$$
N(U_m) \xrightarrow{U(\varphi)} U_n \xrightarrow{d_n} U_{n - 1}.
$$
in case $m =  n - 1$. In this case $\varphi = \sigma^{n - 1}_j$
for some $0 \leq j \leq n - 1$ and $U(\varphi) = s^{n - 1}_j$.
Thus the composition is given by the sum
$$
\sum (-1)^i d^n_i \circ s^{n - 1}_j
$$
Recall from Remark \ref{remark-relations} that
$d^n_j \circ s^{n - 1}_j = d^n_{j + 1} \circ s^{n - 1}_j = \text{id}$
and these drop out because the corresponding terms have opposite signs.
The map $d^n_n \circ s^{n - 1}_j$, if $j < n - 1$, is equal to
$s^{n - 2}_j \circ d^{n - 1}_{n - 1}$. Since
$d^{n - 1}_{n - 1}$ maps $N(U_{n - 1})$ into $N(U_{n - 2})$,
we see that the image $d^n_n ( s^{n - 1}_j (N(U_{n - 1}))$
is contained in $s^{n - 2}_j(N(U_{n - 2}))$ which
is contained in $A(U_{n - 1})$ by definition. For all
other combinations of $(i, j)$ we have
either $d^n_i \circ s^{n - 1}_j = s^{n - 2}_{j - 1} \circ d^{n - 1}_i$
(if $i < j$), or
$d^n_i \circ s^{n - 1}_j = s^{n - 2}_j \circ d^{n - 1}_{i - 1}$
(if $n > i > j + 1$) and in these cases the map is zero because
of the definition of $N(U_{n - 1})$.
\end{proof}

\begin{lemma}
\label{lemma-N-exact}
The functor $N$ is exact.
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-s-exact} and the functorial
decomposition of Lemma \ref{lemma-decompose-associated-complexes}.
\end{proof}

\begin{lemma}
\label{lemma-quasi-isomorphism}
Let $\mathcal{A}$ be an abelian category.
Let $V$ be a simplicial object of $\mathcal{A}$.
The canonical morphism of chain complexes
$N(V) \to s(V)$ is a quasi-isomorphism.
In other words, the complex $A(V)$ of Lemma
\ref{lemma-decompose-associated-complexes} is acyclic.
\end{lemma}

\begin{proof}
Note that the result holds for $K(A, k)$ for
any object $A$ and any $k \geq 0$, by Lemmas
\ref{lemma-homology-eilenberg-maclane} and \ref{lemma-N-K}.
Consider the hypothesis $IH_{n, m}$:
for all $V$ such that $V_j = 0$ for
$j \leq m$ and all $i \leq n$ the map
$N(V) \to s(V)$ induces an isomorphism
$H_i(N(V)) \to H_i(s(V))$.

\medskip\noindent
To start of the induction, note that $IH_{n, n}$
is trivially true, because in that case $N(V)_n = 0$
and $s(V)_n = 0$.

\medskip\noindent
Assume $IH_{n, m}$, with $m \leq n$.
Pick a simplicial object $V$ such that
$V_j = 0$ for $j < m$. By Lemma \ref{lemma-eilenberg-maclane-object}
and Definition \ref{definition-eilenberg-maclane}
we have $K(V_m, m) = i_{m!} \text{sk}_mV$.
By Lemma \ref{lemma-n-skeleton-abelian} the natural morphism
$$
K(V_m, m) = i_{m!} \text{sk}_mV \to V
$$
is injective. Thus we get a short exact sequence
$$
0 \to K(V_m, m) \to V \to W \to 0
$$
for some $W$ with $W_i = 0$ for $i = 0, \ldots, m$. This short exact sequence
induces a morphism of short exact sequence of associated complexes
$$
\xymatrix{
0 \ar[r] &
N(K(V_m, m)) \ar[r] \ar[d] &
N(V) \ar[r] \ar[d] &
N(W) \ar[r] \ar[d] &
0 \\
0 \ar[r] &
s(K(V_m, m)) \ar[r] &
s(V) \ar[r] &
s(W) \ar[r] &
0
}
$$
see Lemmas \ref{lemma-s-exact} and \ref{lemma-N-exact}.
Hence we deduce the result for $V$ from the result
on the ends.
\end{proof}


\section{Dold-Kan}
\label{section-dold-kan}

\begin{lemma}
\label{lemma-N-faithful}
Let $\mathcal{A}$ be an abelian category.
The functor $N$ is faithful, and reflects
isomorphisms, injections and surjections.
\end{lemma}

\begin{proof}
The faithfulness is immediate from the canonical
splitting of Lemma \ref{lemma-splitting-abelian-category}.
The statement on reflecting injections, surjections, and
isomorphisms follows from
Lemma \ref{lemma-injective-map-simplicial-abelian}.
\end{proof}

\begin{lemma}
\label{lemma-S-N}
Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories.
Let $N : \mathcal{A} \to \mathcal{B}$, and
$S : \mathcal{B} \to \mathcal{A}$ be functors.
Suppose that
\begin{enumerate}
\item the functors $S$ and $N$ are exact,
\item there is an isomorphism $g : N \circ S \to \text{id}_\mathcal{B}$
to the identity functor of $\mathcal{B}$,
\item $N$ is faithful, and
\item $S$ is essentially surjective.
\end{enumerate}
Then $S$ and $N$ are quasi-inverse equivalences of categories.
\end{lemma}

\begin{proof}
It suffices to construct a functorial
isomorphism $S(N(A)) \cong A$. To do this
choose $B$ and an isomorphism $f : A  \to S(B)$.
Consider the map
$$
f^{-1} \circ g_{S(B)} \circ S(N(f)) :
S(N(A)) \to S(N(S(B))) \to S(B) \to A.
$$
It is easy to show this does not depend on
the choice of $f, B$ and gives the desired
isomorphism $S \circ N \to \text{id}_\mathcal{A}$.
\end{proof}

\begin{theorem}
\label{theorem-dold-kan}
Let $\mathcal{A}$ be an abelian category.
The functor $N$ induces an equivalence of
categories
$$
N :
\text{Simp}(\mathcal{A})
\longrightarrow
\text{Ch}_{\geq 0}(\mathcal{A})
$$
\end{theorem}

\begin{proof}
We will describe a functor in the reverse direction
inspired by the construction of Lemma \ref{lemma-extension}
(except that we throw in a sign to get the boundaries
right). Let $A_\bullet$ be a chain complex with boundary maps
$d_{A, n} : A_n \to A_{n - 1}$. For each $n \geq 0$ denote
$$
I_n =
\Big\{
\alpha : [n] \to \{0, 1, 2, \ldots\}
\mid
\text{Im}(\alpha) = [k]\text{ for some }k
\Big\}.
$$
For $\alpha \in I_n$ we denote $k(\alpha)$ the unique
integer such that $\text{Im}(\alpha) = [k]$.
We define a simplicial object $S(A_\bullet)$ as follows:
\begin{enumerate}
\item $S(A_\bullet)_n = \bigoplus_{\alpha \in I_n} A_{k(\alpha)}$, which
we will write as
$\bigoplus_{\alpha \in I_n} A_{k(\alpha)} \cdot \alpha$
to suggest thinking of ``$\alpha$'' as a basis vector for the
summand corresponding to it,
\item given $\varphi : [m] \to [n]$ we define
$S(A_\bullet)(\varphi)$ by its restriction to
the direct summand $A_{k(\alpha)} \cdot \alpha$
of $S(A_\bullet)_n$ as follows
\begin{enumerate}
\item $\alpha \circ \varphi \not \in I_m$ then we set it equal to zero,
\item $\alpha \circ \varphi \in I_m$ but $k(\alpha \circ \varphi)$
not equal to either $k(\alpha)$ or $k(\alpha) - 1$ then we set it
equal to zero as well,
\item if $\alpha \circ \varphi \in I_m$
and $k(\alpha \circ \varphi) = k(\alpha)$ then we use
the identity map to the summand
$A_{k(\alpha \circ \varphi)} \cdot (\alpha \circ \varphi)$
of $S(A_\bullet)_m$, and
\item if $\alpha \circ \varphi \in I_m$
and $k(\alpha \circ \varphi) = k(\alpha) - 1$
then we use $(-1)^{k(\alpha)} d_{A, k(\alpha)}$ to the summand
$A_{k(\alpha \circ \varphi)}\cdot (\alpha \circ \varphi)$
of $S(A_\bullet)_m$.
\end{enumerate}
\end{enumerate}
It is an exercise (FIXME) to show that
this is a simplicial complex; one has to use in particular that
the compositions $d_{A, k} \circ d_{A, k - 1}$ are all zero.

\medskip\noindent
Having verified this, the correct way to proceed with the proof would be
to prove directly that $N$ and $S$ are quasi-inverse functors (FIXME).
Instead we prove this by an indirect method using Eilenberg-Maclane
objects and truncations. It is clear that $A_\bullet \mapsto
S(A_\bullet)$ is an exact functor from chain complexes
to simplicial objects. If $A_i = 0$ for $i = 0, \ldots, n$
then $S(A_\bullet)_i = 0$ for $i = 0, \ldots, n$.
The objects $K(A, k)$, see Definition \ref{definition-eilenberg-maclane},
are equal to $S(A[-k])$ where $A[-k]$ is the chain complex
with $A$ in degree $k$ and zero elsewhere.

\medskip\noindent
Moreover, for each integer $k$ we get a sub simplicial
object $S_{\leq k}(A_\bullet)$ by considering
only those $\alpha$ with $k(\alpha) \leq k$.
In fact this is nothing but $S(\sigma_{\leq k}A_\bullet)$,
where $\sigma_{\leq k}A_\bullet$ is the ``stupid'' truncation
of $A_\bullet$ at $k$ (which simply replaces $A_i$ by
$0$ for $i > k$). Also, by Lemma \ref{lemma-n-skeleton-abelian}
we see that it is equal to $i_{k!}\text{sk}_k S(A_\bullet)$.
Clearly, the quotient
$S_{\leq k}(A_\bullet)/S_{\leq k - 1}(A_\bullet) = K(A_k, k)$
and the quotient
$S(A_\bullet)/S_{\leq k}(A_\bullet) = S(A/\sigma_{\leq k}A_\bullet)$
is a simplicial object whose $i$th term is zero for $i = 0, \ldots, k$.
Since $S_{\leq k - 1}(A_\bullet)$ is filtered with
subquotients $K(A_i, i)$, $i < k$ we see that
$N(S_{\leq k - 1}(A_\bullet))_k = 0$ by exactness
of the functor $N$, see Lemma \ref{lemma-N-exact}.
All in all we conclude that the maps
$$
N(S(A_\bullet))_k
\leftarrow
N(S_{\leq k}(A_\bullet))_k
\to
N(S(A_k[-k])) = N(K(A_k, k))_k = A_k
$$
are functorial isomorphisms.

\medskip\noindent
It is actually easy to identify the map $A_k \to N(S(A_\bullet))_k$.
Note that there is a unique map $A_k \to S(A_\bullet)_k$
corresponding to the summand $\alpha = \text{id}_{[k]}$.
Note that $\text{Im}(\text{id}_{[k]} \circ \delta^k_i)$
has cardinality $k - 1$ but does not
have image $[k - 1]$ unless $i = k$. Hence
$d^k_i$ kills the summand $A_k \cdot \text{id}_{[k]}$
for $i = 0, \ldots, k - 1$. From the abstract computation
of $N(S(A_\bullet))_k$ above we conclude that
the summand $A_k \cdot \text{id}_{[k]}$ is equal to
$N(S(A_\bullet))_k$.

\medskip\noindent
In order to show that $N \circ S$ is the identity
functor on $\text{Ch}_{\geq 0}(\mathcal{A})$,
the last thing we have to verify
is that we recover the map $d_{A, k + 1} : A_{k + 1} \to A_k$
as the differential on the complex $N(S(A_\bullet))$
as follows
$$
A_{k + 1} = N(S(A_\bullet))_{k + 1} \to N(S(A_\bullet))_k = A_k
$$
By definition the map
$N(S(A_\bullet))_{k + 1} \to N(S(A_\bullet))_k$
corresponds to the restriction of $(-1)^{k + 1}d^{k + 1}_{k + 1}$
to $N(S(A_\bullet))$ which is
the summand $A_{k + 1} \cdot \text{id}_{[k + 1]}$.
And by the definition of $S(A_\bullet)$ above the
map $d^{k + 1}_{k + 1}$ maps $A_{k + 1} \cdot \text{id}_{[k + 1]}$
into $A_k \cdot \text{id}_{[k]}$ by $(-1)^{k + 1}d_{A, k + 1}$.
The signs cancel and hence the desired equality.

\medskip\noindent
We know that $N$ is faithful, see Lemma \ref{lemma-N-faithful}.
If we can show that $S$ is essentially surjective, then
it will follow that $N$ is an equivalence,
see Homology, Lemma \ref{lemma-S-N}.
Note that if $A_\bullet$ is a chain complex
then $S(A_\bullet) = \colim_n S_{\leq n}(A_\bullet)
= \colim_n S(\sigma_{\leq n} A_\bullet) =
\colim_n i_{n!} \text{sk}_n S(A_\bullet)$ by construction
of $S$.
By Lemma \ref{lemma-abelian-limit-skeleta} it suffices
to show that $i_{n!} V$ is in the essential image
for any $n$-truncated simplicial object $V$.
By induction on $n$ it suffices to show
that any extension
$$
0 \to S(A_\bullet) \to V \to K(A, n) \to 0
$$
where $A_i = 0$ for $i \geq n$ is in the essential
image of $S$. By Homology, Lemma \ref{homology-lemma-exact-functor-ext}
we have abelian group homomorphisms
$$
\xymatrix{
\text{Ext}_{\text{Simp}(\mathcal{A})}(K(A, n), S(A_\bullet))
\ar@<1ex>[r]^-{N} &
\text{Ext}_{\text{Ch}_{\geq 0}(\mathcal{A})}(A[-n], A_\bullet)
\ar@<1ex>[l]^-{S}
}
$$
between ext groups (see
Homology, Definition \ref{homology-definition-ext-group}).
We want to show that $S$ is surjective. We know that
$N \circ S = \text{id}$. Hence it suffices to show that
$\text{Ker}(N) = 0$. Clearly an extension
$$
\xymatrix{
&
0 \ar[r] &
0 \ar[r] \ar[d] &
A_{n - 1} \ar[r] \ar[d] &
A_{n - 2} \ar[r] \ar[d] &
\ldots \ar[r] &
A_0 \ar[r] \ar[d] &
0 \\
E : &
0 \ar[r] &
A \ar[r] \ar[d] &
A_{n - 1} \ar[r] \ar[d] &
A_{n - 2} \ar[r] \ar[d] &
\ldots \ar[r] &
A_0 \ar[r] \ar[d] &
0 \\
&
0 \ar[r] &
A \ar[r] &
0 \ar[r] &
0 \ar[r] &
\ldots \ar[r] &
0 \ar[r] &
0
}
$$
of $A_\bullet$ by $A[-n]$ in $\text{Ch}(\mathcal{A})$ is
zero if and only if the map $A \to A_{n - 1}$ is zero.
Thus we have to show that any extension
$$
0 \to S(A_\bullet) \to V \to K(A, n) \to 0
$$
such that $A = N(V)_n \to N(V)_{n - 1}$ is zero is split.
By Lemma \ref{lemma-eilenberg-maclane-object} we have
$$
\Mor(K(A, n), V)
=
\left\{
f : A
\to
\bigcap\nolimits_{i = 0}^n \text{ker}(d^n_i : V_n \to V_{n - 1})
\right\}
$$
and if $A = N(V)_n \to N(V)_{n - 1}$ is zero, then
the intersection occurring in the formula above is
equal to $A$. Let $i : K(A, n) \to V$ be the morphism
corresponding to $\text{id}_A$ on the right hand side
of the displayed formula. Clearly this is a section
to the map $V \to K(A, n)$ and the extension is split
as desired.
\end{proof}







\section{Dold-Kan for cosimplicial objects}
\label{section-dold-kan-cosimplicial}

\noindent
Let $\mathcal{A}$ be an abelian category.
According to Homology, Lemma \ref{homology-lemma-abelian-opposite}
also $\mathcal{A}^{opp}$ is abelian. It follows
formally from the definitions that
$$
\text{CoSimp}(\mathcal{A}) = \text{Simp}(\mathcal{A}^{opp})^{opp}.
$$
Thus Dold-Kan
(Theorem \ref{theorem-dold-kan})
implies that $\text{CoSimp}(\mathcal{A})$ is equivalent to
the category
$\text{Ch}_{\geq 0}(\mathcal{A}^{opp})^{opp}$. And it
follows formally from the definitions that
$$
\text{CoCh}_{\geq 0}(\mathcal{A}) =
\text{Ch}_{\geq 0}(\mathcal{A}^{opp})^{opp}.
$$
Putting these arrows together we obtain an equivalence
$$
Q :
\text{CoSimp}(\mathcal{A})
\longrightarrow
\text{CoCh}_{\geq 0}(\mathcal{A}).
$$
In this section we describe $Q$.

\medskip\noindent
First we define the
{\it cochain complex $s(U)$ associated to a cosimplicial
object $U$}. It is the cochain complex with terms zero in
negative degrees, and $s(U)^n = U_n$ for $n \geq 0$.
As differentials we use the maps
$d^n : s(U)^n \to s(U)^{n + 1}$ defined by
$d^n = \sum_{i = 0}^{n + 1} (-1)^i \delta^{n + 1}_i$.
In other words the complex $s(U)$ looks like
$$
\xymatrix{
0 \ar[r] &
U_0 \ar[rr]^{\delta^1_0 - \delta^1_1} & &
U_1 \ar[rr]^{\delta^2_0 - \delta^2_1 + \delta^2_2} & &
U_2 \ar[r] &
\ldots
}
$$
This is sometimes also called the {\it Moore complex} associated
to $U$.

\medskip\noindent
On the other hand, given a
cosimplicial object $U$ of $\mathcal{A}$ set
$Q(U)^0 = U_0$ and
$$
Q(U)^n = \text{Coker}(
\xymatrix{
\bigoplus_{i = 0}^{n - 1} U_{n - 1} \ar[r]^-{\delta^n_i} &
U_n
}).
$$
The differential $d^n : Q(U)^n \to Q(U)^{n + 1}$
is induced by $(-1)^{n + 1}\delta^{n + 1}_{n + 1}$, i.e., by
fitting the morphism
$(-1)^{n + 1}\delta^{n + 1}_{n + 1}$
into a commutative
diagram
$$
\xymatrix{
U_n \ar[rr]_{(-1)^{n + 1}\delta^{n + 1}_{n + 1}} \ar[d] & &
U_{n + 1} \ar[d] \\
Q(U)^n \ar[rr]^{d_n} & &
Q(U)^{n + 1}.
}
$$
We leave it to the reader to show that this diagram makes
sense, i.e., that the image of $\delta^n_i$ maps into
the kernel of the right vertical arrow for $i = 0, \ldots, n - 1$.
(This is dual to Lemma \ref{lemma-N-d-in-N}.)
Thus our cochain complex $Q(U)$ looks like this
$$
0 \to Q(U)^0 \to Q(U)^1 \to Q(U)^2 \to \ldots
$$
This is called the {\it normalized cochain complex associated
to $U$}.
The dual to the Dold-Kan Theorem \ref{theorem-dold-kan} is the following.

\begin{lemma}
\label{lemma-dual-dold-kan}
Let $\mathcal{A}$ be an abelian category.
\begin{enumerate}
\item The functor
$s : \text{CoSimp}(\mathcal{A}) \to \text{CoCh}_{\geq 0}(\mathcal{A})$
is exact.
\item The maps $s(U)^n \to Q(U)^n$ define a morphism
of cochain complexes.
\item There exists a functorial direct sum decomposition
$s(U) = A(U) \oplus Q(U)$ in $\text{CoCh}_{\geq 0}(\mathcal{A})$.
\item The functor $Q$ is exact.
\item The morphism of complexes $s(U) \to Q(U)$ is a quasi-isomorphism.
\item The functor $U \mapsto Q(U)^\bullet$ defines
an equivalence of categories
$\text{CoSimp}(\mathcal{A}) \to \text{CoCh}_{\geq 0}(\mathcal{A})$.
\end{enumerate}
\end{lemma}

\begin{proof}
Omitted. But the results are the exact dual statements to
Lemmas \ref{lemma-s-exact}, \ref{lemma-map-associated-complexes},
\ref{lemma-decompose-associated-complexes},
\ref{lemma-N-exact}, \ref{lemma-quasi-isomorphism}, and
Theorem \ref{theorem-dold-kan}.
\end{proof}

\section{Homotopies}
\label{section-homotopy}

\noindent
Consider the simplicial sets $\Delta[0]$ and $\Delta[1]$.
Recall that there are two morphisms
$$
e_0, e_1 : \Delta[0] \longrightarrow \Delta[1],
$$
coming from the morphisms $[0] \to [1]$ mapping
$0$ to an element of $[1] = \{0, 1\}$. Recall also that each
set $\Delta[1]_k$ is finite. Hence, if the category
$\mathcal{C}$ has finite coproducts, then we can
form the product
$$
U \times \Delta[1]
$$
for any simplicial object $U$ of $\mathcal{C}$, see
Definition \ref{definition-product-with-simplicial-set}.
Note that $\Delta[0]$ has the property that $\Delta[0]_k = \{*\}$
is a singleton for all $k \geq 0$. Hence $U \times \Delta[0]
= U$. Thus $e_0, e_1$ above gives rise to morphisms
$$
e_0, e_1 : U \to U \times \Delta[1].
$$

\begin{definition}
\label{definition-homotopy}
Let $\mathcal{C}$ be a category having finite coproducts.
Suppose that $U$ and $V$ are two simplicial objects of $\mathcal{C}$.
Let $a, b : U \to V$ be two morphisms.
\begin{enumerate}
\item We say a morphism
$$
h : U \times \Delta[1] \longrightarrow V
$$
is a {\it homotopy connecting $a$ to $b$} if $a = h \circ e_0$ and
$b = h \circ e_1$.
\item We say morphisms $a$ and $b$ are {\it homotopic}
if there exists a homotopy connecting $a$ to $b$ or a homotopy
connecting $b$ to $a$.
\end{enumerate}
\end{definition}

\noindent
{\bf Warning:} Being homotopic is {\bf not} an equivalence relation on
the set of all morphisms from $U$ to $V$! The relation
``there exists a homotopy from $a$ to $b$'' is not symmetric.

\medskip\noindent
It turns out we can define homotopies between pairs of maps of simplicial
objects in any category. To do this you just work out what it means to have
the morphisms $h_n : (U \times \Delta[1])_n \to V_n$ in terms of the mapping
property of coproducts.

\medskip\noindent
Let $\mathcal{C}$ be a category with finite coproducts.
Let $U$, $V$ be simplicial objects of $\mathcal{C}$.
Let $a, b : U \to V$ be morphisms. Further, suppose
that $h : U \times \Delta[1] \to V$ is a homotopy
connecting $a$ to $b$. For every $n \geq 0$
let us write
$$
\Delta[1]_n = \{\alpha^n_0, \ldots, \alpha^n_{n + 1}\}
$$
where $\alpha^n_i : [n] \to [1]$ is the map
such that
$$
\alpha^n_i(j)
=
\left\{
\begin{matrix}
0 & \text{if} & j < i\\
1 & \text{if} & j \geq i
\end{matrix}
\right.
$$
Thus
$$
h_n : (U \times \Delta[1])_n = \coprod U_n \cdot \alpha^n_i
\longrightarrow
V_n
$$
has a component $h_{n, i} : U_n \to V_n$ which is the restriction
to the summand corresponding to $\alpha^n_i$ for all $i = 0, \ldots, n + 1$.

\begin{lemma}
\label{lemma-relations-homotopy}
In the situation above, we have the following relations:
\begin{enumerate}
\item We have $h_{n, 0} = b_n$ and $h_{n, n + 1} = a_n$.
\item We have $d^n_j \circ h_{n, i} = h_{n - 1, i - 1} \circ d^n_j$
for $i > j$.
\item We have $d^n_j \circ h_{n, i} = h_{n - 1, i} \circ d^n_j$
for $i \leq j$.
\item We have $s^n_j \circ h_{n, i} = h_{n + 1, i + 1} \circ s^n_j$
for $i > j$.
\item We have $s^n_j \circ h_{n, i} = h_{n + 1, i} \circ s^n_j$
for $i \leq j$.
\end{enumerate}
Conversely, given a system of maps $h_{n, i}$ satisfying the
properties listed above, then these define a morphisms
$h$ which is a homotopy between $a$ and $b$.
\end{lemma}

\begin{proof}
Omitted. You can prove the last statement using the fact,
see Lemma \ref{lemma-face-degeneracy-category} that
to give a morphism of simplicial objects is the
same as giving a sequence of morphisms $h_n$ commuting
with all $d^n_j$ and $s^n_j$.
\end{proof}

\begin{example}
\label{example-trivial-homotopy}
Suppose in the situation above $a = b$. Then there is a {\it trivial}
homotopy between $a$ and $b$, namely the one with $h_{n, i} = a_n = b_n$.
\end{example}

\begin{remark}
\label{remark-homotopy-better}
Let $\mathcal{C}$ be any category (no assumptions whatsoever).
We say that a pair of morphisms $a, b : U \to V$ of simplicial
objects  are {\it homotopic} if there
exist morphisms\footnote{In the literature, often the maps
$h_{n + 1, i} \circ s_i : U_n \to V_{n + 1}$ are used instead
of the maps $h_{n, i}$. Of course the relations these maps satisfy
are different from the ones in Lemma \ref{lemma-relations-homotopy}.}
$h_{n, i} : U_n \to V_n$, for $n \geq 0$, $i = 0, \ldots, n + 1$
satisfying the relations of Lemma \ref{lemma-relations-homotopy}
(potentially with the roles of $a$ and $b$ switched).
This is a ``better'' definition, because it applies to
any category. Also it has the following property: if
$F : \mathcal{C} \to \mathcal{C}'$ is any functor
then $a$ homotopic to $b$ implies trivially that
$F(a)$ is homotopic to $F(b)$.
Since the lemma says that the newer notion is the same
as the old one in case finite coproduct exist, we deduce
in particular that functors preserve the old notion
whenever both categories have finite coproducts.
\end{remark}

\begin{remark}
\label{remark-homotopy-pre-post-compose}
Let $\mathcal{C}$ be any category. Suppose two morphisms $a, a' : U \to V$
of simplicial objects are homotopic. Then for any morphism $b : V \to W$
the two maps $b \circ a, b \circ a' : U \to W$ are homotopic.
Similarly, for any morphism $c : X \to U$ the two maps
$a \circ c, a' \circ c : X \to V$ are homotopic. In fact the maps
$b \circ a \circ c, b \circ a' \circ c : X \to W$ are homotopic.
Namely, if the maps $h_{n, i} : U \to U$ define a homotopy between
$a$ and $a'$ then the maps $b \circ h_{n, i} \circ c$ define a homotopy
between $b \circ a \circ c$ and $b \circ a' \circ c$.
\end{remark}

\begin{definition}
\label{definition-homotopy-equivalent}
Let $U$ and $V$ be two simplicial objects of a category $\mathcal{C}$.
We say a morphism $a : U \to V$ is a {\it homotopy equivalence}
if there exists a morphism $b : V \to U$
such that $a \circ b$ is homotopic to $\text{id}_V$
and $b \circ a$ is homotopic to $\text{id}_U$.
If there exists such a morphism between $U$ and $V$, then
we say that $U$ and $V$ are
{\it homotopy equivalent}\footnote{Warning: This notion is {\bf not}
an equivalence relation on objects in general.}.
\end{definition}

\begin{example}
\label{example-simplex-contractible}
The simplicial set $\Delta[m]$ is homotopy equivalent to $\Delta[0]$.
Namely, there is a unique morphism $f : \Delta[m] \to \Delta[0]$ and
we take $g : \Delta[0] \to \Delta[m]$ to be
given by the inclusion of the last $0$-simplex of $\Delta[m]$.
We have $f \circ g = \text{id}$ and we will give a
homotopy $h : \Delta[m] \times \Delta[1] \to \Delta[m]$
between $\text{id}_{\Delta[m]}$ and $g \circ f$. Namely $h$ given by
the maps
$$
\Mor_\Delta([n], [m]) \times \Mor_\Delta([n], [1]) \to \Mor_\Delta([n], [m])
$$
which send $(\varphi, \alpha)$ to
$$
k \mapsto
\left\{
\begin{matrix}
\varphi(k) & \text{if} & \alpha(k) = 0 \\
m & \text{if} & \alpha(k) = 1
\end{matrix}
\right.
$$
Note that this only works because we took $g$ to be the inclusion of the
last $0$-simplex. If we took $g$ to be the inclusion of the first $0$-simplex
we could find a homotopy from $g \circ f$ to $\text{id}_{\Delta[m]}$.
This is an illustration of the asymmetry inherent in homotopies in the
category of simplicial sets.
\end{example}


\noindent
The following lemma says that $U \times \Delta[1]$
is homotopy equivalent to $U$.

\begin{lemma}
\label{lemma-contractible}
Let $\mathcal{C}$ be a category with finite coproducts.
Let $U$ be a simplicial object of $\mathcal{C}$.
Consider the maps $e_1, e_0 : U \to U \times \Delta[1]$,
and $\pi : U \times \Delta[1] \to U$, see
Lemma \ref{lemma-back-to-U}.
\begin{enumerate}
\item We have $\pi \circ e_1 = \pi \circ e_0 = \text{id}_U$, and
\item The morphisms $\text{id}_{U \times \Delta[1]}$,
and $e_0 \circ \pi$ are homotopic.
\item The morphisms $\text{id}_{U \times \Delta[1]}$,
and $e_1 \circ \pi$ are homotopic.
\end{enumerate}
\end{lemma}

\begin{proof}
The first assertion is trivial.
For the second, consider the map
of simplicial sets
$\Delta[1] \times \Delta[1] \longrightarrow \Delta[1]$
which in degree $n$ assigns to a pair $(\beta_1, \beta_2)$,
$\beta_i : [n] \to [1]$ the morphism
$\beta : [n] \to [1]$ defined by the rule
$$
\beta(i) = \max\{\beta_1(i), \beta_2(i)\}.
$$
It is a morphism of simplicial sets, because the action
$\Delta[1](\varphi) : \Delta[1]_n \to \Delta[1]_m$
of $\varphi : [m] \to [n]$ is by precomposing.
Clearly, using notation from Section \ref{section-homotopy},
we have $\beta = \beta_1$ if $\beta_2 = \alpha^n_0$
and $\beta = \alpha^n_{n + 1}$ if $\beta_2 = \alpha^n_{n + 1}$.
This implies easily that the induced morphism
$$
U \times \Delta[1] \times \Delta[1]
\longrightarrow
U \times \Delta[1]
$$
of Lemma \ref{lemma-back-to-U}
is a homotopy between $\text{id}_{U \times \Delta[1]}$ and $e_0 \circ \pi$.
Similarly for $e_1 \circ \pi$ (use minimum instead of maximum).
\end{proof}

\begin{lemma}
\label{lemma-fibre-products-simplicial-object-w-section}
Let $f : Y \to X$ be a morphism of a category $\mathcal{C}$ with
fibre products. Assume $f$ has a section $s$. Consider the
simplicial object $U$ constructed in
Example \ref{example-fibre-products-simplicial-object}
starting with $f$. The morphism $U \to U$ which in each degree
is the self map $(s \circ f)^{n + 1}$ of $Y \times_X \ldots \times_X Y$
given by $s \circ f$ on each factor is homotopic to the identity on $U$.
In particular, $U$ is homotopy equivalent to the constant
simplicial object $X$.
\end{lemma}

\begin{proof}
Set $g^0 = \text{id}_Y$ and $g^1 = s \circ f$.
We use the morphisms
\begin{eqnarray*}
Y \times_X \ldots \times_X Y \times \Mor([n], [1])
& \to &
Y \times_X \ldots \times_X Y \\
(y_0, \ldots, y_n) \times \alpha
& \mapsto &
(g^{\alpha(0)}(y_0), \ldots, g^{\alpha(n)}(y_n))
\end{eqnarray*}
where we use the functor of points point of view to define the maps.
Another way to say this is to say that
$h_{n, 0} = \text{id}$, $h_{n, n + 1} = (s \circ f)^{n + 1}$ and
$h_{n, i} = \text{id}_Y^{i + 1} \times (s \circ f)^{n + 1 - i}$.
We leave it to the reader to show that these satisfy the relations
of Lemma \ref{lemma-relations-homotopy}. Hence they define
the desired homotopy. See also Remark \ref{remark-homotopy-better}
which shows that
we do not need to assume anything else on the category $\mathcal{C}$.
\end{proof}

\begin{lemma}
\label{lemma-products-homotopy}
Let $\mathcal{C}$ be a category.
\begin{enumerate}
\item If $a_t, b_t : X_t \to Y_t$, $t \in T$ are homotopic morphisms
between simplicial objects of $\mathcal{C}$, then
$\prod a_t, \prod b_t : \prod X_t \to \prod Y_t$ are homotopic morphisms
between simplicial objects of $\mathcal{C}$, provided $\prod X_t$
and $\prod Y_t$ exist in $\text{Simp}(\mathcal{C})$.
\item If $(X_t, Y_t)$, $t \in T$ are homotopy equivalent pairs of
simplicial objects of $\mathcal{C}$, then $\prod X_t$ and $\prod Y_t$
are homotopy equivalent pairs of simplicial objects of $\mathcal{C}$,
provided $\prod X_t$ and $\prod Y_t$ exist in $\text{Simp}(\mathcal{C})$.
\end{enumerate}
\end{lemma}

\begin{proof}
If $h_t = (h_{t, n , i})$ are homotopies connecting $a_t$ and $b_t$
(see Remark \ref{remark-homotopy-better}), then
$h = (\prod_t h_{t, n, i})$ is a homotopy
connecting $\prod a_t$ and $\prod b_t$. This proves (1).
Part (2) follows from part (1) and the definitions.
\end{proof}


\section{Homotopies in abelian categories}
\label{section-homotopy-abelian}

\noindent
Let $\mathcal{A}$ be an abelian category.
Let $U$, $V$ be simplicial objects of $\mathcal{A}$.
Let $a, b : U \to V$ be morphisms. Further, suppose
that $h : U \times \Delta[1] \to V$ is a homotopy
connecting $a$ and $b$. Consider the two morphisms
of chain complexes
$s(a), s(b) : s(U) \longrightarrow s(V)$.
Using the notation introduced above Lemma \ref{lemma-relations-homotopy}
we define
$$
s(h)_n : U_n \longrightarrow V_{n + 1}
$$
by the formula
\begin{equation}
\label{equation-homotopy-to-homotopy}
s(h)_n = \sum\nolimits_{i = 0}^n (-1)^{i + 1} h_{n + 1, i + 1} \circ s^n_i.
\end{equation}
Let us compute $d_{n + 1} \circ s(h)_n + s(h)_{n - 1} \circ d_n$.
We first compute
\begin{eqnarray*}
d_{n + 1} \circ s(h)_n & = &
\sum\nolimits_{j = 0}^{n + 1}
\sum\nolimits_{i = 0}^n
(-1)^{j + i + 1}
d^{n + 1}_j \circ h_{n + 1, i + 1} \circ s^n_i \\
& = &
\sum\nolimits_{1 \leq i + 1 \leq j \leq n + 1}
(-1)^{j + i + 1}
h_{n, i + 1} \circ d^{n + 1}_j \circ s^n_i \\
& &
+
\sum\nolimits_{n \geq i \geq j \geq 0}
(-1)^{i + j + 1}
h_{n, i} \circ d^{n + 1}_j \circ s^n_i \\
& = &
\sum\nolimits_{1 \leq i + 1 < j \leq n + 1}
(-1)^{j + i + 1}
h_{n, i + 1} \circ s^{n - 1}_i \circ d^n_{j - 1} \\
& &
+
\sum\nolimits_{1 \leq i + 1 = j \leq n + 1}
(-1)^{j + i + 1}
h_{n, i + 1} \\
& &
+
\sum\nolimits_{n \geq i = j \geq 0}
(-1)^{i + j + 1}
h_{n, i} \\
& &
+
\sum\nolimits_{n \geq i > j \geq 0}
(-1)^{i + j + 1}
h_{n, i} \circ s^{n - 1}_{i - 1} \circ d^n_j
\end{eqnarray*}
We leave it to the reader to see that the first and the last
of the four sums cancel exactly against all the terms of
$$
s(h)_{n - 1} \circ d_n
=
\sum_{i = 0}^{n - 1} \sum_{j = 0}^n
(-1)^{i + 1 + j} h_{n, i + 1} \circ s^{n - 1}_i \circ d^n_j.
$$
Hence we obtain
\begin{eqnarray*}
d_{n + 1} \circ s(h)_n + s(h)_{n - 1} \circ d_n
& = &
\sum_{j = 1}^{n + 1} (-1)^{2j} h_{n, j}
+
\sum_{i = 0}^n (-1)^{2i + 1} h_{n, i} \\
& = &
h_{n, n + 1} - h_{n , 0} \\
& = &
a_n - b_n
\end{eqnarray*}
Thus we've proved part of the following lemma.

\begin{lemma}
\label{lemma-homotopy-s-N}
Let $\mathcal{A}$ be an abelian category.
Let $a, b : U \to V$ be morphisms of simplicial
objects of $\mathcal{A}$. If $a$, $b$ are homotopic,
then $s(a), s(b) : s(U) \to s(V)$, and
$N(a), N(b) : N(U) \to N(V)$ are homotopic maps
of chain complexes.
\end{lemma}

\begin{proof}
The part about $s(a)$ and $s(b)$ is clear from the calculation
above the lemma. On the other hand, if follows from
Lemma \ref{lemma-decompose-associated-complexes} that
$N(a)$, $N(b)$ are compositions
$$
N(U) \to s(U) \to s(V) \to N(V)
$$
where we use $s(a)$, $s(b)$ in the middle. Hence the assertion
follows from
Homology, Lemma \ref{homology-lemma-compose-homotopy}.
\end{proof}

\begin{lemma}
\label{lemma-homotopy-equivalence-s-N}
Let $\mathcal{A}$ be an abelian category.
Let $a : U \to V$ be a morphism of simplicial
objects of $\mathcal{A}$. If $a$ is a homotopy equivalence,
then $s(a) : s(U) \to s(V)$, and
$N(a) : N(U) \to N(V)$ are homotopy equivalences of chain complexes.
\end{lemma}

\begin{proof}
Omitted. See Lemma \ref{lemma-homotopy-s-N} above.
\end{proof}




\section{Homotopies and cosimplicial objects}
\label{section-homotopy-cosimplicial}

\noindent
Let $\mathcal{C}$ be a category with finite products. Let $V$ be a
cosimplicial object and consider $\Hom(\Delta[1], V)$, see
Section \ref{section-hom-from-simplicial-sets-into-cosimplicial}.
The morphisms $e_0, e_1 : \Delta[0] \to \Delta[1]$
produce two morphisms $e_0, e_1 : \Hom(\Delta[1], V) \to V$.

\begin{definition}
\label{definition-homotopy-cosimplicial}
Let $\mathcal{C}$ be a category having finite products.
Suppose that $U$ and $V$ are two cosimplicial objects
of $\mathcal{C}$.
We say morphisms $a, b : U \to V$ are {\it homotopic}
if there exists a morphism
$$
h : U \longrightarrow \Hom(\Delta[1], V)
$$
such that $a = e_0 \circ h$ and $b = e_1 \circ h$.
In this case $h$ is called a {\it homotopy connecting
$a$ and $b$}.
\end{definition}

\noindent
This is really exactly the same as the notion we introduced for simplicial
objects earlier. In particular, recall that $\Delta[1]_n$ is a finite
set, and that
$$
h_n = (h_{n, \alpha}) :
U
\longrightarrow
\prod\nolimits_{\alpha \in \Delta[1]_n} V_n
$$
is given by a collection of maps $h_{n, \alpha} : U_n \to V_n$ parametrized
by elements of $\Delta[1]_n = \Mor_\Delta([n], [1])$. As in
Lemma \ref{lemma-relations-homotopy}
these morphisms satisfy some relations. Namely, for every $f : [n] \to [m]$
in $\Delta$ we should have
\begin{equation}
\label{equation-property-homotopy-cosimplicial}
h_{m, \alpha} \circ U(f) = V(f) \circ h_{n, \alpha \circ f}
\end{equation}
The condition that $a = e_0 \circ h$ means that $a_n = h_{n, 0 : [n] \to [1]}$
where $0 : [n] \to [1]$ is the constant map with value zero. Similarly,
we should have $b_n = h_{n, 1 : [n] \to [1]}$.
In particular we deduce once more that the notion of homotopy can be
formulated between cosimplicial objects of any category, i.e., existence of
products is not necessary. Here is a precise formulation of why this is
dual to the notion of a homotopy between morphisms of simplicial objects.

\begin{lemma}
\label{lemma-compare-homotopies}
Let $\mathcal{C}$ be a category having finite products.
Suppose that $U$ and $V$ are two cosimplicial objects
of $\mathcal{C}$. Let $a, b : U \to V$ be morphisms
of cosimplicial objects. Recall that $U$, $V$ correspond
to simplicial objects $U'$, $V'$ of $\mathcal{C}^{opp}$.
Moreover $a, b$ correspond to morphisms $a', b' : V' \to U'$.
The following are equivalent
\begin{enumerate}
\item The morphisms $a, b : U \to V$ of cosimplicial
objects are homotopic.
\item The morphisms $a', b' : V' \to U'$ of simplicial objects
of $\mathcal{C}^{opp}$ are homotopic.
\end{enumerate}
\end{lemma}

\begin{proof}
If $\mathcal{C}$ has finite products, then
$\mathcal{C}^{opp}$ has finite coproducts.
And the contravariant functor $(-)' : \mathcal{C} \to \mathcal{C}^{opp}$
transforms products into coproducts.
Then it is immediate from the definitions
that $(\Hom(\Delta[1], V))' = V' \times \Delta[1]$.
And so on and so forth.
\end{proof}

\begin{lemma}
\label{lemma-functorial-homotopy}
Let $\mathcal{C}, \mathcal{C}', \mathcal{D}\mathcal{D}'$
be categories such that $\mathcal{C}, \mathcal{C}'$ have
finite products, and $\mathcal{D}, \mathcal{D}'$ have
finite coproducts.
\begin{enumerate}
\item Let $a, b : U \to V$ be morphisms of simplicial objects
of $\mathcal{D}$. Let $F : \mathcal{D} \to \mathcal{D}'$ be a covariant
functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$
are homotopic morphisms $F(U) \to F(V)$ of simplicial objects.
\item Let $a, b : U \to V$ be morphisms of cosimplicial objects
of $\mathcal{C}$. Let $F : \mathcal{C} \to \mathcal{C}'$ be a covariant
functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$
are homotopic morphisms $F(U) \to F(V)$ of cosimplicial objects.
\item Let $a, b : U \to V$ be morphisms of simplicial objects of $\mathcal{D}$.
Let $F : \mathcal{D} \to \mathcal{C}$ be a contravariant
functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$
are homotopic morphisms $F(V) \to F(U)$ of cosimplicial objects.
\item Let $a, b : U \to V$ be morphisms of cosimplicial objects of
$\mathcal{C}$.
Let $F : \mathcal{C} \to \mathcal{D}$ be a contravariant
functor. If $a$ and $b$ are homotopic, then $F(a)$, $F(b)$
are homotopic morphisms $F(V) \to F(U)$ of simplicial objects.
\end{enumerate}
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-compare-homotopies} above, we can
turn $F$ into a covariant functor between a pair of
categories which have finite coproducts, and we have
to show that the functor preserves homotopic pairs
of maps. It is explained in Remark \ref{remark-homotopy-better} how this
is the case. Even if the functor does not commute with
coproducts!
\end{proof}

\begin{lemma}
\label{lemma-push-outs-simplicial-object-w-section}
Let $f : Y \to X$ be a morphism of a category $\mathcal{C}$ with
pushouts. Assume $f$ has a section $s$. Consider the
cosimplicial object $U$ constructed in
Example \ref{example-push-outs-simplicial-object}
starting with $f$. The morphism $U \to U$ which in each degree
is the self map of $Y \amalg_X \ldots \amalg_X Y$
given by $s \circ f$ on each factor is homotopic to the identity on $U$.
In particular, $U$ is homotopy equivalent to the constant
cosimplicial object $X$.
\end{lemma}

\begin{proof}
The dual statement which is
Lemma \ref{lemma-fibre-products-simplicial-object-w-section}.
Hence this lemma follows on applying
Lemma \ref{lemma-compare-homotopies}.
\end{proof}

\begin{lemma}
\label{lemma-homotopy-s-Q}
Let $\mathcal{A}$ be an abelian category.
Let $a, b : U \to V$ be morphisms of cosimplicial
objects of $\mathcal{A}$. If $a$, $b$ are homotopic,
then $s(a), s(b) : s(U) \to s(V)$, and
$Q(a), Q(b) : Q(U) \to Q(V)$ are homotopic maps
of cochain complexes.
\end{lemma}

\begin{proof}
Let $(-)' : \mathcal{A} \to \mathcal{A}^{opp}$
be the contravariant functor $A \mapsto A$.
By
Lemma \ref{lemma-push-outs-simplicial-object-w-section}
the maps $a'$ and $b'$ are homotopic.
By Lemma \ref{lemma-homotopy-s-N} we see that
$s(a')$ and $s(b')$ are homotopic maps of chain
complexes. Since $s(a') = (s(a))'$ and
$s(b') = (s(b))'$ we conclude that also
$s(a)$ and $s(b)$ are homotopic by applying
the additive
contravariant functor $(-)'' : \mathcal{A}^{opp} \to \mathcal{A}$.
The result for the $Q$-complexes follows from the direct sum decomposition of
Lemma \ref{lemma-dual-dold-kan} for example.
\end{proof}




\section{More homotopies in abelian categories}
\label{section-backwards-homotopy}

\noindent
Let $\mathcal{A}$ be an abelian category.
In this section we show that a homotopy between
morphisms in $\text{Ch}_{\geq 0}(\mathcal{A})$
always comes from a morphism $U \times \Delta[1] \to V$
in the category of simplicial objects. In some sense
this will provide a converse to Lemma \ref{lemma-homotopy-s-N}.
We first develop some material on homotopies between morphisms
of chain complexes.

\begin{lemma}
\label{lemma-represent-homotopy}
Let $\mathcal{A}$ be an abelian category.
Let $A$ be a chain complex.
Consider the covariant functor
$$
B \longmapsto
\{
(a, b, h)
\mid
a, b : A \to B\text{ and }h\text{ a homotopy between }a, b
\}
$$
There exists a chain complex $\diamond A$
such that $\Mor_{\text{Ch}(\mathcal{A})}(\diamond A, -)$
is isomorphic to the displayed functor.
The construction $A \mapsto \diamond A$ is functorial.
\end{lemma}

\begin{proof}
We set $\diamond A_n = A_n \oplus A_n \oplus A_{n - 1}$,
and we define $d_{\diamond A, n}$ by the matrix
$$
d_{\diamond A, n}
=
\left(
\begin{matrix}
d_{A, n} & 0 & \text{id}_{A_{n - 1}} \\
0 & d_{A, n} & -\text{id}_{A_{n - 1}} \\
0 & 0 & -d_{A, n - 1}
\end{matrix}
\right) :
A_n \oplus A_n \oplus A_{n - 1} \to
A_{n - 1} \oplus A_{n - 1} \oplus A_{n - 2}
$$
If $\mathcal{A}$ is the category of abelian groups,
and $(x, y, z) \in A_n \oplus A_n \oplus A_{n - 1}$
then $d_{\diamond A, n}(x, y, z) = (d_n(x) + z, d_n(y) - z, -d_{n - 1}(z))$.
It is easy to verify that $d^2 = 0$. Clearly,
there are two maps $\diamond a, \diamond b : A \to \diamond A$
(first summand and second summand),
and a map $\diamond A \to A[-1]$ which give
a short exact sequence
$$
0 \to
A \oplus A \to
\diamond A \to
A[-1] \to
0
$$
which is termwise split. Moreover, there is a sequence
of maps $\diamond h_n : A_n \to \diamond A_{n + 1}$, namely
the identity from $A_n$ to the summand $A_n$ of $\diamond A_{n + 1}$,
such that $\diamond h$ is a homotopy between $\diamond a$ and $\diamond b$.

\medskip\noindent
We conclude that any morphism $f : \diamond A \to B$
gives rise to a triple $(a, b, h)$ by setting $a = f \circ \diamond a$,
$b = f \circ \diamond b$ and $h_n = f_{n + 1} \circ \diamond h_n$.
Conversely, given a triple $(a, b, h)$ we get a morphism
$f : \diamond A \to B$ by taking
$$
f_n = (a_n, b_n, h_{n - 1}).
$$
To see that this is a morphism of chain complexes you have
to do a calculation. We only do this in case $\mathcal{A}$
is the category of abelian groups:
Say $(x, y, z) \in \diamond A_n = A_n \oplus A_n \oplus A_{n - 1}$.
Then
\begin{eqnarray*}
f_{n - 1}(d_n(x, y, z)) & = &
f_{n - 1}(d_n(x) + z, d_n(y) - z, -d_{n - 1}(z)) \\
& = &
a_n(d_n(x)) + a_n(z) + b_n(d_n(y)) - b_n(z) - h_{n - 2}(d_{n - 1}(z))
\end{eqnarray*}
and
\begin{eqnarray*}
d_n(f_n(x, y, z) & = &
d_n(a_n(x) + b_n(y) + h_{n - 1}(z)) \\
& = &
d_n(a_n(x)) + d_n(b_n(y)) + d_n(h_{n - 1}(z))
\end{eqnarray*}
which are the same by definition of a homotopy.
\end{proof}

\noindent
Note that the extension
$$
0 \to
A \oplus A \to
\diamond A \to
A[-1] \to
0
$$
comes with sections of the morphisms $\diamond A_n \to A[-1]_n$
with the property that the associated morphism
$\delta : A[-1] \to (A \oplus A)[-1]$, see
Homology, Lemma \ref{homology-lemma-ses-termwise-split}
equals the morphism $(1, -1) : A[-1] \to A[-1] \oplus A[-1]$.

\begin{lemma}
\label{lemma-map-into-diamond}
Let $\mathcal{A}$ be an abelian category.
Let
$$
0 \to A \oplus A \to B \to C \to 0
$$
be a short exact sequence of chain complexes of $\mathcal{A}$.
Suppose given in addition morphisms $s_n : C_n \to B_n$
splitting the associated short exact sequence in degree $n$.
Let $\delta(s) : C \to (A \oplus A)[-1] = A[-1] \oplus A[-1]$
be the associated morphism of complexes, see
Homology, Lemma \ref{homology-lemma-ses-termwise-split}.
If $\delta(s)$ factors through the morphism
$(1, -1) : A[-1] \to A[-1] \oplus A[-1]$, then
there is a unique morphism $B \to \diamond A$
fitting into a commutative diagram
$$
\xymatrix{
0 \ar[r] &
A \oplus A \ar[d] \ar[r] &
B \ar[r] \ar[d] &
C \ar[d] \ar[r] &
0 \\
0 \ar[r] &
A \oplus A \ar[r] &
\diamond A \ar[r] &
A[-1] \ar[r] &
0
}
$$
where the vertical maps are compatible with the splittings
$s_n$ and the splittings of $\diamond A_n \to A[-1]_n$
as well.
\end{lemma}

\begin{proof}
Denote $(p_n, q_n) : B_n \to A_n \oplus A_n$ the morphism $\pi_n$
of Homology, Lemma \ref{homology-lemma-ses-termwise-split}.
Also write $(a, b) : A \oplus A \to B$, and
$r : B \to C$ for the maps in the short exact sequence.
Write the factorization of $\delta(s)$ as
$\delta(s) = (1, -1) \circ f$. This means that
$p_{n - 1} \circ d_{B, n} \circ s_n = f_n$, and
$q_{n - 1} \circ d_{B, n} \circ s_n = - f_n$, and
Set $B_n \to \diamond A_n = A_n \oplus A_n \oplus A_{n - 1}$
equal to $(p_n, q_n, f_n \circ r_n)$.

\medskip\noindent
Now we have to check that this actually defines a morphism
of complexes. We will only do this in the case of abelian groups.
Pick $x \in B_n$. Then $x = a_n(x_1) + b_n(x_2) + s_n(x_3)$
and it suffices to show that our definition commutes
with differential for each term separately. For the term
$a_n(x_1)$ we have $(p_n, q_n, f_n \circ r_n)(a_n(x_1)) =
(x_1, 0, 0)$ and the result is obvious. Similarly for
the term $b_n(x_2)$. For the term $s_n(x_3)$ we have
\begin{eqnarray*}
(p_n, q_n, f_n \circ r_n)(d_n(s_n(x_3))) & = &
(p_n, q_n, f_n \circ r_n)( \\
& & \ \ \ \ \ a_n(f_n(x_3)) - b_n(f_n(x_3)) + s_n(d_n(x_3))) \\
& = &
(f_n(x_3), -f_n(x_3), f_n(d_n(x_3)))
\end{eqnarray*}
by definition of $f_n$. And
\begin{eqnarray*}
d_n(p_n, q_n, f_n \circ r_n)(s_n(x_3)) & = & d_n(0, 0, f_n(x_3)) \\
& = &
(f_n(x_3), - f_n(x_3), d_{A[-1], n}(f_n(x_3)))
\end{eqnarray*}
The result follows as $f$ is a morphism of complexes.
\end{proof}

\begin{lemma}
\label{lemma-backwards-homotopy}
Let $\mathcal{A}$ be an abelian category.
Let $U$, $V$ be simplicial objects of $\mathcal{A}$.
Let $a, b : U \to V$ be a pair of morphisms.
Assume the corresponding maps of chain complexes
$N(a), N(b) : N(U) \to N(V)$ are homotopic by
a homotopy $\{N_n : N(U)_n \to N(V)_{n + 1}\}$.
Then $a, b$ are homotopic in the sense of
Definition \ref{definition-homotopy}. Moreover, one can choose the
homotopy $h : U \times \Delta[1] \to V$ such that
$N_n = N(h)_n$ where $N(h)$ is the homotopy coming
from $h$ as in Section \ref{section-homotopy-abelian}.
\end{lemma}

\begin{proof}
Let $(\diamond N(U), \diamond a, \diamond b, \diamond h)$
be as in Lemma \ref{lemma-represent-homotopy} and its proof. By that lemma
there exists a morphism $\diamond N(U) \to N(V)$ representing
the triple $(N(a), N(b), \{N_n\})$. We will show
there exists a morphism
$\psi : N(U \times \Delta[1]) \to \diamond{N(U)}$
such that $\diamond a = \psi \circ N(e_0)$, and
$\diamond b = \psi \circ N(e_1)$. Moreover, we will
show that the homotopy between $N(e_0), N(e_1) :
N(U) \to N(U \times \Delta[1])$ coming from
(\ref{equation-homotopy-to-homotopy}) and
Lemma \ref{lemma-homotopy-s-N} with
$h = \text{id}_{U \times \Delta[1]}$ is mapped via
$\psi$ to the canonical homotopy $\diamond h$ between the two
maps $\diamond a, \diamond b : N(U) \to \diamond{N(U)}$. Certainly this
will imply the lemma.

\medskip\noindent
Note that $N : \text{Simp}(\mathcal{A}) \to \text{Ch}_{\geq 0}(\mathcal{A})$
as a functor is a direct summand of the functor
$N : \text{Simp}(\mathcal{A}) \to \text{Ch}_{\geq 0}(\mathcal{A})$.
Also, the functor $\diamond$ is compatible with direct sums.
Thus it suffices instead to construct a morphism
$\Psi : s(U \times \Delta[1]) \to \diamond{s(U)}$ with the
corresponding properties. This is what we do below.

\medskip\noindent
By Definition \ref{definition-homotopy}
the morphisms $e_0 : U \to U \times \Delta[1]$
and $e_1 : U \to U \times \Delta[1]$ are homotopic
with homotopy $\text{id}_{U \times \Delta[1]}$.
By Lemma \ref{lemma-homotopy-s-N}
we get an explicit homotopy
$\{h_n : s(U)_n \to s(U \times \Delta[1])_{n + 1}\}$
between the morphisms
of chain complexes $s(e_0) : s(U) \to s(U \times \Delta[1])$
and $s(e_1) : s(U) \to s(U \times \Delta[1])$. By
Lemma \ref{lemma-map-into-diamond} above we get a corresponding morphism
$$
\Phi : \diamond{s(U)} \to s(U \times \Delta[1])
$$
According to the construction, $\Phi_n$ restricted to the summand
$s(U)[-1]_n = s(U)_{n - 1}$ of $\diamond{s(U)}_n$
is equal to $h_{n - 1}$. And
$$
h_{n - 1} = \sum\nolimits_{i = 0}^{n - 1}
(-1)^{i + 1} s^n_i \cdot \alpha^n_{i + 1} :
U_{n - 1} \to \bigoplus\nolimits_j U_n \cdot \alpha^n_j.
$$
with obvious notation.

\medskip\noindent
On the other hand, the morphisms $e_i : U \to U \times \Delta[1]$ induce
a morphism $(e_0, e_1) : U \oplus U \to U \times \Delta[1]$.
Denote $W$ the cokernel. Note that, if we write
$(U \times \Delta[1])_n = \bigoplus_{\alpha : [n] \to [1]} U_n \cdot \alpha$,
then we may identify
$W_n = \bigoplus_{i = 1}^n U_n \cdot \alpha^n_i$ with
$\alpha^n_i$ as in Section \ref{section-homotopy}.
We have a commutative diagram
$$
\xymatrix{
0 \ar[r] &
U \oplus U \ar[rd]_{(1, 1)} \ar[r] &
U \times \Delta[1] \ar[d]^\pi \ar[r] &
W \ar[r] &
0 \\
& & U & &
}
$$
This implies we have a similar commutative diagram after
applying the functor $s$. Next, we choose the splittings
$\sigma_n : s(W)_n \to s(U \times \Delta[1])_n$ by mapping
the summand $U_n \cdot \alpha^n_i \subset W_n$ via $(-1, 1)$
to the summands $U_n \cdot \alpha^n_0 \oplus U_n \cdot \alpha^n_i
\subset (U \times \Delta[1])_n$. Note that $s(\pi)_n \circ \sigma_n = 0$.
It follows that $(1, 1) \circ \delta(\sigma)_n = 0$.
Hence $\delta(\sigma)$ factors as in
Lemma \ref{lemma-map-into-diamond}. By that lemma
we obtain a canonical morphism
$\Psi : s(U \times \Delta[1]) \to \diamond{s(U)}$.

\medskip\noindent
To compute $\Psi$ we first compute the morphism
$\delta(\sigma) : s(W) \to s(U)[-1] \oplus s(U)[-1]$.
According to Homology, Lemma \ref{homology-lemma-ses-termwise-split}
and its proof,
to do this we have compute
$$
d_{s(U \times \delta[1]), n} \circ \sigma_n
-
\sigma_{n - 1} \circ d_{s(W), n}
$$
and write it as a morphism into
$U_{n - 1} \cdot \alpha^{n - 1}_0 \oplus U_{n - 1} \cdot \alpha^{n - 1}_n$.
We only do this in case $\mathcal{A}$ is the category of abelian
groups. We use the short hand notation $x_{\alpha}$ for $x \in U_n$
to denote the element $x$ in the summand $U_n \cdot \alpha$
of $(U \times \Delta[1])_n$. Recall that
$$
d_{s(U \times \delta[1]), n}
=
\sum\nolimits_{i = 0}^n (-1)^i d^n_i
$$
where $d^n_i$ maps the summand $U_n \cdot \alpha$
to the summand $U_{n - 1} \cdot (\alpha \circ \delta^n_i)$
via the morphism $d^n_i$ of the simplicial object $U$.
In terms of the notation above this means
$$
d_{s(U \times \delta[1]), n}(x_\alpha) =
\sum\nolimits_{i = 0}^n (-1)^i (d^n_i(x))_{\alpha \circ \delta^n_i}
$$
Starting with $x_\alpha \in W_n$, in other words $\alpha = \alpha^n_j$
for some $j \in \{1, \ldots, n\}$, we see that
$\sigma_n(x_\alpha) = x_\alpha - x_{\alpha^n_0}$ and
hence
$$
(d_{s(U \times \delta[1]), n} \circ \sigma_n)(x_\alpha)
=
\sum\nolimits_{i = 0}^n (-1)^i (d^n_i(x))_{\alpha \circ \delta^n_i}
-
\sum\nolimits_{i = 0}^n (-1)^i (d^n_i(x))_{\alpha^n_0 \circ \delta^n_i}
$$
To compute $d_{s(W), n}(x_\alpha)$, we have to omit
all terms where $\alpha \circ \delta^n_i = \alpha^{n - 1}_0, \alpha^{n - 1}_n$.
Hence we get
$$
\begin{matrix}
(\sigma_{n - 1} \circ d_{s(W), n})(x_\alpha) = \\
\sum\nolimits_{i = 0, \ldots, n\text{ and }
\alpha \circ \delta^n_i \not = \alpha^{n - 1}_0\text{ or }\alpha^{n - 1}_n}
\Big((-1)^i (d^n_i(x))_{\alpha \circ \delta^n_i}
-
(-1)^i (d^n_i(x))_{\alpha^{n - 1}_0}
\Big)
\end{matrix}
$$
Clearly the difference of the two terms is the sum
$$
\sum\nolimits_{i = 0, \ldots, n\text{ and }
\alpha \circ \delta^n_i = \alpha^{n - 1}_0\text{ or }\alpha^{n - 1}_n}
\Big((-1)^i (d^n_i(x))_{\alpha \circ \delta^n_i}
-
(-1)^i (d^n_i(x))_{\alpha^{n - 1}_0}
\Big)
$$
Of course, if $\alpha \circ \delta^n_i = \alpha^{n - 1}_0$
then the term drops out. Recall that $\alpha = \alpha^n_j$
for some $j \in \{1, \ldots, n\}$. The only way
$\alpha^n_j \circ \delta^n_i = \alpha^{n - 1}_n$
is if $j = n$ and $i = n$. Thus we actually get
$0$ unless $j = n$ and in that case we get
$(-1)^n(d^n_n(x))_{\alpha^{n - 1}_n} - (-1)^n(d^n_n(x))_{\alpha^{n - 1}_0}$.
In other words, we conclude the morphism
$$
\delta(\sigma)_n :
W_n
\to
(s(U)[-1] \oplus s(U)[-1])_n = U_{n - 1} \oplus U_{n - 1}
$$
is zero on all summands except $U_n \cdot \alpha^n_n$
and on that summand it is equal to $((-1)^nd^n_n, -(-1)^nd^n_n)$.
(Namely, the first summand of the two corresponds to the factor
with $\alpha^{n - 1}_n$ because that is the map $[n - 1] \to [1]$
which maps everybody to $0$, and hence corresponds to $e_0$.)

\medskip\noindent
We obtain a canonical diagram
$$
\xymatrix{
0 \ar[r] &
s(U) \oplus s(U) \ar[r] \ar[d] &
\diamond{s(U)} \ar[r] \ar[d]^{\Phi}&
s(U)[-1] \ar[r] \ar[d] &
0 \\
0 \ar[r] &
s(U) \oplus s(U) \ar[r] \ar[d] &
s(U \times \Delta[1]) \ar[r] \ar[d]^\Psi &
s(W) \ar[r] \ar[d] &
0 \\
0 \ar[r] &
s(U) \oplus s(U) \ar[r] &
\diamond{s(U)} \ar[r] &
s(U)[-1] \ar[r] &
0
}
$$
We claim that $\Phi \circ \Psi$ is the identity.
To see this it is enough to prove that the composition
of $\Phi$ and $\delta(\sigma)$ as a map
$s(U)[-1] \to s(W) \to s(U)[-1] \oplus s(U)[-1]$ is the
identity in the first factor and minus identity in the second.
By the computations above it is
$((-1)^nd^n_0, -(-1)^nd^n_0) \circ (-1)^n s^n_n = (1, -1)$
as desired.
\end{proof}









\section{Trivial Kan fibrations}
\label{section-trivial-kan}

\noindent
Recall that for $n \geq 0$ the simplicial set $\Delta[n]$ is given
by the rule $[k] \mapsto \Mor_\Delta([k], [n])$, see
Example \ref{example-simplex-simplicial-set}. Recall that $\Delta[n]$
has a unique nondegenerate $n$-simplex and all nondegenerate simplices
are faces of this $n$-simplex. In fact, the nondegenerate simplices of
$\Delta[n]$ correspond exactly to injective morphisms $[k] \to [n]$,
which we may identify with subsets of $[n]$. Moreover, recall that
$\Mor(\Delta[n], X) = X_n$ for any simplicial set $X$
(Lemma \ref{lemma-simplex-map}).
We set
$$
\partial \Delta[n] = i_{(n - 1)!}\text{sk}_{n - 1}\Delta[n]
$$
and we call it the {\it boundary} of $\Delta[n]$.
From Lemma \ref{lemma-n-skeleton-sets} we see that
$\partial \Delta[n] \subset \Delta[n]$
is the simplicial subset having the same nondegenerate simplices
in degrees $\leq n - 1$ but not containing the nondegenerate $n$-simplex.

\begin{definition}
\label{definition-trivial-kan}
A map $X \to Y$ of simplicial sets is called a {\it trivial Kan fibration}
if $X_0 \to Y_0$ is surjective and for all $n \geq 1$ and any commutative
solid diagram
$$
\xymatrix{
\partial \Delta[n] \ar[r] \ar[d] & X \ar[d] \\
\Delta[n] \ar[r] \ar@{-->}[ru] & Y
}
$$
a dotted arrow exists making the diagram commute.
\end{definition}

\noindent
A trivial Kan fibration satisfies a very general lifting property.

\begin{lemma}
\label{lemma-trivial-kan}
Let $f : X \to Y$ be a trivial Kan fibration of simplicial sets.
For any solid commutative diagram
$$
\xymatrix{
Z \ar[r]_b \ar[d] & X \ar[d] \\
W \ar[r]^a \ar@{-->}[ru] & Y
}
$$
of simplicial sets with $Z \to W$ (termwise) injective
a dotted arrow exists making the diagram commute.
\end{lemma}

\begin{proof}
Suppose that $Z \not = W$. Let $n$ be the smallest integer such that
$Z_n \not = W_n$. Let $x \in W_n$, $x \not \in Z_n$. Denote
$Z' \subset W$ the simplicial subset containing $Z$, $x$, and
all degeneracies of $x$. Let
$\varphi : \Delta[n] \to Z'$ be the morphism corresponding to $x$
(Lemma \ref{lemma-simplex-map}).
Then $\varphi|_{\partial \Delta[n]}$ maps into $Z$
as all the nondegenerate simplices of $\partial \Delta[n]$ end up in $Z$.
By assumption we can extend $b \circ \varphi|_{\partial \Delta[n]}$
to $\beta : \Delta[n] \to X$.
By Lemma \ref{lemma-glue-simplex} the simplicial set $Z'$
is the pushout of $\Delta[n]$ and $Z$ along $\partial \Delta[n]$.
Hence $b$ and $\beta$ define a morphism $b' : Z' \to X$.
In other words, we have extended the morphism $b$ to a bigger
simplicial subset of $Z$.

\medskip\noindent
The proof is finished by an application of Zorn's lemma (omitted).
\end{proof}

\begin{lemma}
\label{lemma-trivial-kan-base-change}
Let $f : X \to Y$ be a trivial Kan fibration of simplicial sets.
Let $Y' \to Y$ be a morphism of simplicial sets.
Then $X \times_Y Y' \to Y'$ is a trivial Kan fibration.
\end{lemma}

\begin{proof}
This follows immediately from the functorial properties of the fibre
product (Lemma \ref{lemma-fibre-product}) and the definitions.
\end{proof}

\begin{lemma}
\label{lemma-trivial-kan-composition}
The composition of two trivial Kan fibrations is a trivial Kan fibration.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-limit-trivial-kan}
Let $\ldots \to U^2 \to U^1 \to U^0$ be a sequence of trivial Kan
fibrations. Let $U = \lim U^t$ defined by taking $U_n = \lim U_n^t$.
Then $U \to U^0$ is a trivial Kan fibration.
\end{lemma}

\begin{proof}
Omitted. Hint: use that for a countable sequence of surjections of sets
the inverse limit is nonempty.
\end{proof}

\begin{lemma}
\label{lemma-product-trivial-kan}
Let $X_i \to Y_i$ be a set of trivial Kan fibrations. Then
$\prod X_i \to \prod Y_i$ is a trivial Kan fibration.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-filtered-colimit-trivial-kan}
A filtered colimit of trivial Kan fibrations is a trivial Kan fibration.
\end{lemma}

\begin{proof}
Omitted. Hint: See description of filtered colimits of sets in
Categories, Section \ref{categories-section-directed-colimits}.
\end{proof}

\begin{lemma}
\label{lemma-trivial-kan-homotopy}
Let $f : X \to Y$ be a trivial Kan fibration of simplicial sets.
Then $f$ is a homotopy equivalence.
\end{lemma}

\begin{proof}
By Lemma \ref{lemma-trivial-kan} we can choose an right inverse $g : Y \to X$
to $f$. Consider the diagram
$$
\xymatrix{
\partial \Delta[1] \times X \ar[d] \ar[r] & X \ar[d] \\
\Delta[1] \times X \ar[r] \ar@{-->}[ru] & Y
}
$$
Here the top horizontal arrow is given by $\text{id}_X$ and $g \circ f$
where we use that
$(\partial \Delta[1] \times X)_n = X_n \amalg X_n$ for all $n \geq 0$.
The bottom horizontal arrow is given by the map $\Delta[1] \to \Delta[0]$
and $f : X \to Y$. The diagram commutes as $f \circ g \circ f = f$.
By Lemma \ref{lemma-trivial-kan} we can fill in the dotted arrow
and we win.
\end{proof}






\section{Kan fibrations}
\label{section-kan}

\noindent
Let $n$, $k$ be integers with $0 \leq k \leq n$ and $1 \leq n$.
Let $\sigma_0, \ldots, \sigma_n$
be the $n + 1$ faces of the unique nondegenerate $n$-simplex $\sigma$
of $\Delta[n]$, i.e., $\sigma_i = d_i\sigma$. We let
$$
\Lambda_k[n] \subset \Delta[n]
$$
be the {\it $k$th horn} of the $n$-simplex $\Delta[n]$. It is the
simplicial subset of $\Delta[n]$ generated by
$\sigma_0, \ldots, \hat \sigma_k, \ldots, \sigma_n$. In other words,
the image of the displayed inclusion contains all the nondegenerate
simplices of $\Delta[n]$ except for $\sigma$ and $\sigma_k$.

\begin{definition}
\label{definition-kan}
A map $X \to Y$ of simplicial sets is called a {\it Kan fibration}
if for all $k, n$ with $1 \leq n$, $0 \leq k \leq n$ and any commutative
solid diagram
$$
\xymatrix{
\Lambda_k[n] \ar[r] \ar[d] & X \ar[d] \\
\Delta[n] \ar[r] \ar@{-->}[ru] & Y
}
$$
a dotted arrow exists making the diagram commute. A {\it Kan complex}
is a simplicial set $X$ such that $X \to *$ is a Kan fibration, where
$*$ is the constant simplicial set on a singleton.
\end{definition}

\noindent
Note that $\Lambda_k[n]$ is always nonempty. This a morphism from the empty
simplicial set to any simplicial set is always a Kan fibration. It follows
from Lemma \ref{lemma-trivial-kan} that a trivial Kan fibration is a
Kan fibration.

\begin{lemma}
\label{lemma-kan-base-change}
Let $f : X \to Y$ be a Kan fibration of simplicial sets.
Let $Y' \to Y$ be a morphism of simplicial sets.
Then $X \times_Y Y' \to Y'$ is a Kan fibration.
\end{lemma}

\begin{proof}
This follows immediately from the functorial properties of the fibre
product (Lemma \ref{lemma-fibre-product}) and the definitions.
\end{proof}

\begin{lemma}
\label{lemma-kan-composition}
The composition of two Kan fibrations is a Kan fibration.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\begin{lemma}
\label{lemma-limit-kan}
Let $\ldots \to U^2 \to U^1 \to U^0$ be a sequence of Kan
fibrations. Let $U = \lim U^t$ defined by taking $U_n = \lim U_n^t$.
Then $U \to U^0$ is a Kan fibration.
\end{lemma}

\begin{proof}
Omitted. Hint: use that for a countable sequence of surjections of sets
the inverse limit is nonempty.
\end{proof}

\begin{lemma}
\label{lemma-product-kan}
Let $X_i \to Y_i$ be a set of Kan fibrations. Then
$\prod X_i \to \prod Y_i$ is a Kan fibration.
\end{lemma}

\begin{proof}
Omitted.
\end{proof}

\noindent
The following lemma is due to J.C.\ Moore, see \cite{Moore-Cartan}.

\begin{lemma}
\label{lemma-simplicial-group-kan}
Let $X$ be a simplicial group. Then $X$ is a Kan complex.
\end{lemma}

\begin{proof}
The following proof is basically just a translation into English
of the proof in the reference mentioned above.
Using the terminology as explained in the introduction to this section,
suppose $f : \Lambda_k[n] \to X$ is a morphism from a horn. Set
$x_i = f(\sigma_i) \in X_{n - 1}$ for $i = 0, \ldots, \hat k, \ldots, n$.
This means that for $i < j$ we have $d_i x_j = d_{j - 1} x_i$
whenever $i, j \not = k$.
We have to find an $x \in X_n$ such that $x_i = d_ix$ for
$i = 0, \ldots, \hat k, \ldots, n$.

\medskip\noindent
We first prove there exists a $u \in X_n$ such that $d_i u = x_i$
for $i < k$. This is trivial for $k = 0$. If $k > 0$, one defines by
induction an element $u^r \in X_n$ such that $d_i u^r = x_i$ for
$0 \leq i \leq r$. Start with $u^0 = s_0x_0$. If $r < k - 1$,
we set
$$
y^r = s_{r + 1}((d_{r + 1}u^r)^{-1}x_{r + 1}),\quad
u^{r + 1} = u^r y^r.
$$
An easy calculation shows that $d_iy^r = 1$ (unit element of the group
$X_{n - 1}$) for $i \leq r$ and
$d_{r + 1}y^r = (d_{r + 1}u^r)^{-1}x_{r + 1}$. It follows that
$d_iu^{r + 1} = x_i$ for $i \leq r + 1$. Finally, take $u = u^{k - 1}$
to get $u$ as promised.

\medskip\noindent
Next we prove, by induction on the integer $r$, $0 \leq r \leq n - k$,
there exists a $x^r \in X_n$ such that
$$
d_i x^r = x_i\quad\text{for }i < k\text{ and }i > n - r.
$$
Start with $x^0 = u$ for $r = 0$. Having defined $x^r$ for $r \leq n - k - 1$
we set
$$
z^r = s_{n - r - 1}((d_{n - r}x^r)^{-1}x_{n - r}),\quad x^{r + 1} = x^rz^r
$$
A simple calculation, using the given relations, shows that
$d_iz^r = 1$ for $i < k$ and $i > n - r$ and that
$d_{n - r}(z^r) = (d_{n - r}x^r)^{-1}x_{n - r}$. It follows that
$d_ix^{r + 1} = x_i$ for $i < k$ and $i > n - r - 1$. Finally, we
take $x = x^{n - k}$ which finishes the proof.
\end{proof}

\begin{lemma}
\label{lemma-surjection-simplicial-abelian-groups-kan}
Let $f : X \to Y$ be a homomorphism of simplicial abelian groups
which is termwise surjective. Then $f$ is a Kan fibration of
simplicial sets.
\end{lemma}

\begin{proof}
Consider a commutative solid diagram
$$
\xymatrix{
\Lambda_k[n] \ar[r]_a \ar[d] & X \ar[d] \\
\Delta[n] \ar[r]^b \ar@{-->}[ru] & Y
}
$$
as in Definition \ref{definition-kan}. The map $a$ corresponds
to $x_0, \ldots, \hat x_k, \ldots, x_n \in X_{n - 1}$ satisfying
$d_i x_j = d_{j - 1} x_i$ for $i < j$, $i, j \not = k$.
The map $b$ corresponds to an element $y \in Y_n$ such
that $d_iy = f(x_i)$ for $i \not = k$. Our task is to produce an
$x \in X_n$ such that $d_ix = x_i$ for $i \not = k$ and $f(x) = y$.

\medskip\noindent
Since $f$ is termwise surjective we can find $x \in X_n$ with $f(x) = y$.
Replace $y$ by $0 = y - f(x)$ and $x_i$ by $x_i - d_ix$ for $i \not = k$.
Then we see that we may assume $y = 0$. In particular $f(x_i) = 0$.
In other words, we can replace $X$ by $\text{Ker}(f) \subset X$
and $Y$ by $0$. In this case the statement become
Lemma \ref{lemma-simplicial-group-kan}.
\end{proof}

\begin{lemma}
\label{lemma-qis-simplicial-abelian-groups}
Let $f : X \to Y$ be a homomorphism of simplicial abelian groups
which is termwise surjective and induces a quasi-isomorphism on
associated chain complexes. Then $f$ is a trivial Kan fibration of
simplicial sets.
\end{lemma}

\begin{proof}
Consider a commutative solid diagram
$$
\xymatrix{
\partial \Delta[n] \ar[r]_a \ar[d] & X \ar[d] \\
\Delta[n] \ar[r]^b \ar@{-->}[ru] & Y
}
$$
as in Definition \ref{definition-trivial-kan}. The map $a$ corresponds
to $x_0, \ldots, x_n \in X_{n - 1}$ satisfying $d_i x_j = d_{j - 1} x_i$
for $i < j$. The map $b$ corresponds to an element $y \in Y_n$ such
that $d_iy = f(x_i)$. Our task is to produce an $x \in X_n$ such that
$d_ix = x_i$ and $f(x) = y$.

\medskip\noindent
Since $f$ is termwise surjective we can find $x \in X_n$ with $f(x) = y$.
Replace $y$ by $0 = y - f(x)$ and $x_i$ by $x_i - d_ix$. Then we
see that we may assume $y = 0$. In particular $f(x_i) = 0$.
In other words, we can replace $X$ by $\text{Ker}(f) \subset X$
and $Y$ by $0$. This works, because by
Homology, Lemma \ref{homology-lemma-long-exact-sequence-chain}
the homology of the chain complex associated to $\text{Ker}(f)$
is zero and hence $\text{Ker}(f) \to 0$ induces a quasi-isomorphism
on associated chain complexes.

\medskip\noindent
Since $X$ is a Kan complex (Lemma \ref{lemma-simplicial-group-kan})
we can find $x \in X_n$ with $d_i x = x_i$ for $i = 0, \ldots, n - 1$.
After replacing $x_i$ by $x_i - d_ix$ for $i = 0, \ldots, n$ we
may assume that $x_0 = x_1 = \ldots = x_{n - 1} = 0$.
In this case we see that $d_i x_n = 0$ for $i = 0, \ldots, n - 1$.
Thus $x_n \in N(X)_{n - 1}$ and lies in the kernel of the differential
$N(X)_{n - 1} \to N(X)_{n - 2}$. Here $N(X)$ is the normalized chain
complex associated to $X$, see Section \ref{section-complexes}.
Since $N(X)$ is quasi-isomorphic to $s(X)$
(Lemma \ref{lemma-quasi-isomorphism})
and thus acyclic we find $x \in N(X_n)$ whose differential is $x_n$.
This $x$ answers the question posed by the lemma and we are done.
\end{proof}

\begin{lemma}
\label{lemma-homotopy-equivalence}
Let $f : X \to Y$ be a map of simplicial abelian groups.
If $f$ is termwise surjective\footnote{This assumption is not
necessary. Also the proof as currently given is not the right one.
A better proof is to define the homotopy groups of Kan complex
and show that these are equal to the homology groups of the associated
complex for a simplicial abelian group.} and a homotopy equivalence of
simplicial sets, then $f$ induces a quasi-isomorphism of associated
chain complexes.
\end{lemma}

\begin{proof}
By assumption there exists a map $g : Y \to X$ of simplicial sets,
a homotopy $h : X \times \Delta[1] \to X$ between $g \circ f$ and
$\text{id}_X$, and a homotopy $h' : Y \times \Delta[1] \to Y$ between
$f \circ g$ and $\text{id}_Y$. During this proof we will write
$H_n(X) = H_n(s(X)) = H_n(N(X))$, see
Section \ref{section-complexes}.

\medskip\noindent
Note that $H_0(X)$ is the cokernel of the difference map
$d_1 - d_0 : X_1 \to X_0$. Observe that $x \in X_0$ corresponds to
a morphism $\Delta[0] \to X$. Composing $h$ with the induced map
$\Delta[0] \times \Delta[1] \to X \times \Delta[1]$ we see that
$x$ and $g(f(x))$ are equal to $d_0x'$ and $d_1x'$ for some $x' \in X_1$.
Similarly for $y \in Y_0$. We conclude that $f$ defines a bijection
$H_0(X) \to H_0(Y)$.

\medskip\noindent
Let $n \geq 1$. Consider the simplicial set $S$ which is the pushout of
$$
\xymatrix{
\partial \Delta[n] \ar[r] \ar[d] & {*} \ar[d] \\
\Delta[n] \ar[r] & S
}
$$
Concretely, we take
$$
S_k = \{\varphi : [k] \to [n] \mid \varphi\text{ is surjective}\} \amalg \{*\}.
$$
Denote $E = \mathbf{Z}[S]$ the free abelian group on $S$. The inclusion
$\Delta[0] \to S$ coming from $* \in S_0$
determines an injection $K(\mathbf{Z}, 0) \to E$
whose cokernel is the object $K(\mathbf{Z}, n)$, i.e., we have
a short exact sequence
$$
0 \to K(\mathbf{Z}, 0) \to E \to K(\mathbf{Z}, n) \to 0
$$
See Definition \ref{definition-eilenberg-maclane}
and the description of the Eilenberg-Maclane objects in
Lemma \ref{lemma-eilenberg-maclane-object}. Note that the extension
above is split, for example because the element
$\xi = [\text{id}_{[n]}] - [*] \in E_n$ satisfies $d_i\xi = 0$ and
maps to the ``generator'' of $K(\mathbf{Z}, n)$. We have
$$
\Mor_{\text{Simp}(\textit{Sets})}(S, X) =
\Mor_{\text{Simp}(\textit{Ab})}(E, X) =
X_0 \times
\bigcap\nolimits_{i = 0, \ldots, n} \text{Ker}(d_i : X_n \to X_{n - 1})
$$
This uses the choice of our splitting above and the description of morphisms
out of Eilenberg-Maclane objects given in
Lemma \ref{lemma-eilenberg-maclane-object}.
Note that we can think of
$\bigcap\nolimits_{i = 0, \ldots, n} \text{Ker}(d_i : X_n \to X_{n - 1})$
as the cycles in degree $n$ in the normalized chain complex associated
to $X$, see Section \ref{section-complexes}.
If two maps $a, b : S \to X$ are homotopic (as maps
of simplicial sets), then the corresponding maps $a', b' : E \to X$ are
homotopic as maps of simplicial abelian groups (because taking the
free abelian group on is a functor). Thus if $a$, resp.\ $b$ correspond
to $(a_0, a_n)$, resp.\ $(b_0, b_n)$ in the formula above, then
$a_0$ and $b_0$ define the same element of $H_0(X)$ and
$a_n$ and $b_n$ define the same class in $H_n(X)$. See
Lemma \ref{lemma-homotopy-s-N}.

\medskip\noindent
We come the final arguments of the proof. An element $y$ of $H_n(Y)$
can be represented by an element $y_n$ in
$\bigcap\nolimits_{i = 0, \ldots, n} \text{Ker}(d_i : Y_n \to Y_{n - 1})$.
Let $a : S \to Y$ be the map of simplicial sets corresponding to
$(0, y_n)$. Then $b = g \circ a$ corresponds to some $(b_0, b_n)$ as above
for $X$. Using the homotopy $h'$ we see $(f(b_0), f(b_n))$
and $(0, y_n)$ come from homotopic maps $S \to Y$ and hence
$y_n$ and $f(b_n)$ define the same element of $H_n(Y)$.
Clearly this shows that $H_n(f)$ is surjective.
Conversely, suppose $x_n$ in
$\bigcap\nolimits_{i = 0, \ldots, n} \text{Ker}(d_i : X_n \to X_{n - 1})$
and $f(x_n) = d(y')$ with $y' \in N(Y_{n + 1})$.
Since $f$ is termwise surjective so is the induced map
$f : N(X_{n + 1}) \to N(Y_{n + 1})$ (see
Lemma \ref{lemma-decompose-associated-complexes}).
Thus we can pick $x' \in N(X_{n + 1})$ mapping to $y'$.
After replacing $x_n$ by $x_n - d(x')$ we reach the point where
$f(x_n) = 0$. This means that the morphism $a : S \to X$ corresponding
to $(0, x_n)$ has the property that $f \circ a$ is the constant morphism
with value $0$ in $Y$. Hence $g \circ f \circ a$ is also a constant
morphism, i.e., corresponds to a pair $(b_0, 0)$. Since as before
$x_n$ and $0$ represent the same element of $H_n(X)$ we conclude.
\end{proof}






\section{A homotopy equivalence}
\label{section-homotopy-equivalence}

\noindent
Suppose that $A$, $B$ are sets, and that $f : A \to B$
is a map. Consider the associated map of
simplicial sets
$$
\xymatrix{
\text{cosk}_0(A) \ar@{=}[r] &
\Big(\ldots A \times A \times A
\ar[d] \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] &
A \times A \ar[d] \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] &
A \Big) \ar[d] \ar@<0ex>[l] \\
\text{cosk}_0(B) \ar@{=}[r] &
\Big( \ldots B \times B \times B \ar@<2ex>[r] \ar@<0ex>[r] \ar@<-2ex>[r] &
B \times B \ar@<1ex>[r] \ar@<-1ex>[r] \ar@<1ex>[l] \ar@<-1ex>[l] &
B \Big) \ar@<0ex>[l]
}
$$
See Example \ref{example-cosk0}. The case $n = 0$ of the following lemma
says that this map of simplicial sets is a trivial Kan fibration if $f$ is
surjective.

\begin{lemma}
\label{lemma-section}
Let $f : V \to U$ be a morphism of simplicial sets. Let $n \geq 0$ be an
integer. Assume
\begin{enumerate}
\item The map $f_i : V_i \to U_i$ is a bijection for $i < n$.
\item The map $f_n : V_n \to U_n$ is a surjection.
\item The canonical morphism $U \to \text{cosk}_n \text{sk}_n U$
is an isomorphism.
\item The canonical morphism $V \to \text{cosk}_n \text{sk}_n V$
is an isomorphism.
\end{enumerate}
Then $f$ is a trivial Kan fibration.
\end{lemma}

\begin{proof}
Consider a solid diagram
$$
\xymatrix{
\partial \Delta[k] \ar[r] \ar[d] & V \ar[d] \\
\Delta[k] \ar[r] \ar@{-->}[ru] & U
}
$$
as in Definition \ref{definition-trivial-kan}. Let $x \in U_k$ be
the $k$-simplex corresponding to the lower horizontal arrow.
If $k \leq n$ then the dotted arrow is the one corresponding to
a lift $y \in V_k$ of $x$; the diagram will commute as the other
nondegenerate simplices of $\Delta[k]$ are in degrees $< k$ where
$f$ is an isomorphism. If $k > n$, then by conditions (3) and (4)
we have (using adjointness of skeleton and coskeleton functors)
$$
\Mor(\Delta[k], U) =
\Mor(\text{sk}_n\Delta[k], \text{sk}_nU) =
\Mor(\text{sk}_n\partial\Delta[k], \text{sk}_nU) =
\Mor(\partial \Delta[k], U)
$$
and similarly for $V$ because
$\text{sk}_n\Delta[k] = \text{sk}_n\partial\Delta[k]$ for $k > n$.
Thus we obtain a unique dotted arrow fitting into the diagram in
this case also.
\end{proof}

\noindent
Let $A, B$ be sets. Let $f^0, f^1 : A \to B$ be maps of sets.
Consider the induced maps $f^0, f^1 : \text{cosk}_0(A) \to \text{cosk}_0(B)$
abusively denoted by the same symbols. The following lemma for $n = 0$
says that $f^0$ is homotopic to $f^1$. In fact, the
homotopy is given by the map $h : \text{cosk}_0(A) \times
\Delta[1] \to \text{cosk}_0(A)$ with components
\begin{eqnarray*}
h_m : A \times \ldots \times A \times \Mor_{\Delta}([m], [1])
& \longrightarrow &
A \times \ldots \times A, \\
(a_0, \ldots, a_m, \alpha) & \longmapsto &
(f^{\alpha(0)}(a_0), \ldots, f^{\alpha(m)}(a_m))
\end{eqnarray*}
To check that this works, note that for a map $\varphi : [k] \to [m]$
the induced maps are
$(a_0, \ldots, a_m) \mapsto (a_{\varphi(0)}, \ldots, a_{\varphi(k)})$
and $\alpha \mapsto \alpha \circ \varphi$. Thus $h = (h_m)_{m \geq 0}$
is clearly a map of simplicial sets as desired.

\begin{lemma}
\label{lemma-homotopy}
Let $f^0, f^1 : V \to U$ be maps of a simplicial sets.
Let $n \geq 0$ be an integer.
Assume
\begin{enumerate}
\item The maps $f^j_i : V_i \to U_i$, $j = 0, 1$ are equal for $i < n$.
\item The canonical morphism $U \to \text{cosk}_n \text{sk}_n U$
is an isomorphism.
\item The canonical morphism $V \to \text{cosk}_n \text{sk}_n V$
is an isomorphism.
\end{enumerate}
Then $f^0$ is homotopic to $f^1$.
\end{lemma}

\begin{proof}[First proof]
Let $W$ be the $n$-truncated simplicial set with $W_i = U_i$ for
$i < n$ and $W_n = U_n / \sim$ where $\sim$ is the equivalence relation
generated by $f^0(y) \sim f^1(y)$ for $y \in V_n$. This makes sense
as the morphisms $U(\varphi) : U_n \to U_i$ corresponding to
$\varphi : [i] \to [n]$ for $i < n$ factor through the quotient map
$U_n \to W_n$ because $f^0$ and $f^1$ are morphisms of simplicial sets and
equal in degrees $< n$. Next, we upgrade $W$ to a simplicial set
by taking $\text{cosk}_n W$. By Lemma \ref{lemma-section}
the morphism $g : U \to W$ is a trivial Kan fibration. Observe
that $g \circ f^0 = g \circ f^1$ by construction and denote
this morphism $f : V \to W$. Consider the diagram
$$
\xymatrix{
\partial \Delta[1] \times V \ar[rr]_{f^0, f^1} \ar[d] & & U \ar[d] \\
\Delta[1] \times V \ar[rr]^f \ar@{-->}[rru] & & W
}
$$
By Lemma \ref{lemma-trivial-kan} the dotted arrow exists and the proof is done.
\end{proof}

\begin{proof}[Second proof]
We have to construct a morphism of simplicial sets
$h : V \times \Delta[1] \to U$ which recovers $f^i$ on composing with $e_i$.
The case $n = 0$ was dealt with above the lemma.
Thus we may assume that $n \geq 1$.
The map $\Delta[1] \to \text{cosk}_1 \text{sk}_1 \Delta[1]$
is an isomorphism, see Lemma \ref{lemma-simplex-cosk}.
Thus we see that $\Delta[1] \to \text{cosk}_n \text{sk}_n \Delta[1]$
is an isomorphism as $n \geq 1$, see
Lemma \ref{lemma-cosk-up}. And hence $V \times \Delta[1] \to
\text{cosk}_n \text{sk}_n (V \times \Delta[1])$
is an isomorphism too, see Lemma \ref{lemma-cosk-product}.
In other words, in order to construct the homotopy
it suffices to construct a suitable
morphism of $n$-truncated simplicial sets
$h : \text{sk}_n V \times \text{sk}_n \Delta[1] \to \text{sk}_n U$.

\medskip\noindent
For $k = 0, \ldots, n - 1$ we define $h_k$ by the
formula $h_k(v, \alpha) = f^0(v) = f^1(v)$.
The map $h_n : V_n \times \Mor_{\Delta}([k], [1]) \to U_n$
is defined as follows. Pick $v \in V_n$ and $\alpha : [n] \to [1]$:
\begin{enumerate}
\item If $\text{Im}(\alpha) = \{0\}$, then we set $h_n(v, \alpha) = f^0(v)$.
\item If $\text{Im}(\alpha) = \{0, 1\}$, then we set $h_n(v, \alpha) = f^0(v)$.
\item If $\text{Im}(\alpha) = \{1\}$, then we set $h_n(v, \alpha) = f^1(v)$.
\end{enumerate}
Let $\varphi : [k] \to [l]$ be a morphism of $\Delta_{\leq n}$.
We will show that the diagram
$$
\xymatrix{
V_{l} \times \Mor([l], [1]) \ar[r] \ar[d] & U_{l} \ar[d] \\
V_{k} \times \Mor([k], [1]) \ar[r] & U_{k}
}
$$
commutes.
Pick $v \in V_{l}$ and $\alpha : [l] \to [1]$.
The commutativity means that
$$
h_k(V(\varphi)(v), \alpha \circ \varphi)
=
U(\varphi)(h_l(v, \alpha)).
$$
In almost every case this holds because
$h_k(V(\varphi)(v), \alpha \circ \varphi) = f^0(V(\varphi)(v))$
and $U(\varphi)(h_l(v, \alpha)) = U(\varphi)(f^0(v))$, combined
with the fact that $f^0$ is a morphism of simplicial sets.
The only cases where this does not hold is when
either (A) $\text{Im}(\alpha) = \{1\}$ and $l = n$
or (B) $\text{Im}(\alpha \circ \varphi) = \{1\}$ and $k = n$.
Observe moreover that necessarily $f^0(v) = f^1(v)$
for any degenerate $n$-simplex of $V$.
Thus we can narrow the cases above down even further
to the cases (A) $\text{Im}(\alpha) = \{1\}$, $l = n$
and $v$ nondegenerate, and (B)
$\text{Im}(\alpha \circ \varphi) = \{1\}$, $k = n$
and $V(\varphi)(v)$ nondegenerate.

\medskip\noindent
In case (A), we see that also $\text{Im}(\alpha \circ \varphi) = \{1\}$.
Hence we see that not only $h_l(v, \alpha) = f^1(v)$ but also
$h_k(V(\varphi)(v), \alpha \circ \varphi) = f^1(V(\varphi)(v))$.
Thus we see that the relation holds because $f^1$ is a morphism
of simplicial sets.

\medskip\noindent
In case (B) we conclude that $l = k = n$ and
$\varphi$ is bijective, since otherwise $V(\varphi)(v)$
is degenerate. Thus $\varphi = \text{id}_{[n]}$, which is a trivial case.
\end{proof}

\begin{lemma}
\label{lemma-cosk-minus-one-equivalence}
Let $A$, $B$ be sets, and that $f : A \to B$ is a map. Consider the simplicial
set $U$ with $n$-simplices
$$
A \times_B A \times_B \ldots \times_B A\ (n + 1 \text{ factors)}.
$$
see Example \ref{example-fibre-products-simplicial-object}.
If $f$ is surjective, the morphism $U \to B$
where $B$ indicates the constant simplicial set with value $B$
is a trivial Kan fibration.
\end{lemma}

\begin{proof}
Observe that $U$ fits into a cartesian square
$$
\xymatrix{
U \ar[d] \ar[r] & \text{cosk}_0(B) \ar[d] \\
B \ar[r] & \text{cosk}_0(A)
}
$$
Since the right vertical arrow is a trivial Kan fibration by
Lemma \ref{lemma-section}, so is the left by
Lemma \ref{lemma-trivial-kan-base-change}.
\end{proof}












\section{Standard resolutions}
\label{section-standard}

\noindent
Some of the material in this section can be found in
\cite[Appendix 1]{Godement} and \cite[I 1.5]{cotangent}.

\begin{situation}
\label{situation-adjoint-functors}
Let $\mathcal{A}$, $\mathcal{S}$ be categories and let
$i : \mathcal{A} \to \mathcal{S}$ be a functor with a left adjoint
$F : \mathcal{S} \to \mathcal{A}$.
\end{situation}

\noindent
In this very general situation we will construct a simplicial
object $X$ in the category of functors from $\mathcal{A}$ to $\mathcal{A}$.
Please keep the following example in mind while we do this.

\begin{example}
\label{example-polynomial-algebra}
As an example of the above we can take
$i : \textit{Rings} \to \textit{Sets}$ to be the forgetful functor
and $F : \textit{Sets} \to \textit{Rings}$ to be the functor that associates
to a set $E$ the polynomial algebra $\mathbf{Z}[E]$ on $E$ over $\mathbf{Z}$.
The simplicial object $X$ when evaluated on an ring $A$ will give
the simplicial ring
$$
\xymatrix{
\mathbf{Z}[\mathbf{Z}[\mathbf{Z}[A]]]
\ar@<2ex>[r]
\ar@<0ex>[r]
\ar@<-2ex>[r]
&
\mathbf{Z}[\mathbf{Z}[A]]
\ar@<1ex>[r]
\ar@<-1ex>[r]
\ar@<1ex>[l]
\ar@<-1ex>[l]
&
\mathbf{Z}[A]
\ar@<0ex>[l]
}
$$
which comes with an augmentation towards $A$. We will also show this
augmentation is a homotopy equivalence.
\end{example}

\noindent
For the general construction we will use the horizontal composition as
defined in Categories, Section \ref{categories-section-formal-cat-cat}.
The definition of the adjunction morphisms
$k : F \circ i \to \text{id}_\mathcal{A}$ and
$t : \text{id}_\mathcal{S} \to i \circ F$
in Categories, Section \ref{categories-section-adjoint}
shows that the compositions
\begin{equation}
\label{equation-composition}
i \xrightarrow{t \star 1_i} i \circ F \circ i \xrightarrow{1_i \star k} i
\quad\text{and}\quad
F \xrightarrow{1_F \star t} F \circ i \circ F \xrightarrow{k \star 1_F} F
\end{equation}
are the identity morphisms. Here to define the morphism $t \star 1$ we
silently identify $i$ with $\text{id}_\mathcal{S} \circ i$ and
$1$ stands for $\text{id}_i : i \to i$. We will use this notation and
these relations repeatedly in what follows.
For $n \geq 0$ we set
$$
X_n = (F \circ i)^{\circ (n + 1)} =
F \circ i \circ F \circ \ldots \circ i \circ F
$$
In other words, $X_n$ is the $(n + 1)$-fold composition of $F \circ i$
with itself. We also set $X_{-1} = \text{id}_\mathcal{A}$.
We have $X_{n + m + 1} = X_n \circ X_m$ for all $n, m \geq -1$.
We will endow this sequence of functors with the structure of a
simplicial object of $\text{Fun}(\mathcal{A}, \mathcal{A})$ by constructing
the morphisms of functors
$$
d^n_j : X_n \to X_{n - 1},\quad s^n_j : X_n \to X_{n + 1}
$$
satisfying the relations displayed in
Lemma \ref{lemma-relations-face-degeneracy}.
Namely, we set
$$
d^n_j = 1_{X_{j - 1}} \star k \star 1_{X_{n - j - 1}}
\quad\text{and}\quad
s^n_j = 1_{X_{j - 1} \circ F} \star t \star 1_{i \circ X_{n - j - 1}}
$$
Finally, write $\epsilon_0 = k : X_0 \to X_{-1}$.

\begin{example}
\label{example-polynomial-algebra-maps}
In Example \ref{example-polynomial-algebra} we have
$X_n(A) = \mathbf{Z}[\mathbf{Z}[\ldots [A]\ldots]]$ with
$n + 1$ brackets. We describe the maps constructed above
using a typical element $\xi = \sum n_i[n_{ij}[a_{ij}]]$
of $X_1(A)$. The maps
$d_0, d_1 : \mathbf{Z}[\mathbf{Z}[A]] \to \mathbf{Z}[A]$
are given by
$$
d_0(\xi) = \sum n_in_{ij}[a_{ij}]
\quad\text{and}\quad
d_1(\xi) = \sum n_i[n_{ij}a_{ij}].
$$
The maps
$s_0, s_1 : \mathbf{Z}[\mathbf{Z}[A]] \to
\mathbf{Z}[\mathbf{Z}[\mathbf{Z}[A]]]$
are given by
$$
s_0(\xi) = \sum n_i[[n_{ij}[a_{ij}]]]
\quad\text{and}\quad
s_1(\xi) = \sum n_i[n_{ij}[[a_{ij}]]].
$$
\end{example}

\begin{lemma}
\label{lemma-standard-simplicial}
In Situation \ref{situation-adjoint-functors}
the system $X = (X_n, d^n_j, s^n_j)$
is a simplicial object of $\text{Fun}(\mathcal{A}, \mathcal{A})$
and $\epsilon_0$ defines an augmentation $\epsilon$ from $X$
to the constant simplicial object with value $X_{-1} = \text{id}_\mathcal{A}$.
\end{lemma}

\begin{proof}
Suppose that we have shown that $X$ is a simplicial object.
Then to prove that $\epsilon_0 = k$ defines an augmentation
we have to check that $\epsilon_0 \circ d^1_0 = \epsilon_0 \circ d^1_1$
as morphisms $X_1 \to X_{-1}$, see Lemma \ref{lemma-augmentation-howto}.
In other words, we have to check that the diagram
$$
\xymatrix{
F \circ i \circ F \circ i
\ar[rr]_{1_{F \circ i} \star k}
\ar[d]_{k \star 1_{F \circ i}} & & F \circ i \ar[d]^k \\
F \circ i \ar[rr]^k & & \text{id}_\mathcal{A}
}
$$
is commutative. More precisely we should write this as the equality
$$
(k \star 1_{\text{id}_\mathcal{A}}) \circ (1_{F \circ i} \star k) =
(1_{\text{id}_\mathcal{A}} \star k) \circ (k \star 1_{F \circ i})
$$
as morphisms
$(F \circ i) \circ (F \circ i) \to
\text{id}_\mathcal{A} \circ \text{id}_\mathcal{A}$.
Applying the general property of
Categories, Lemma \ref{categories-lemma-properties-2-cat-cats}
both sides expand to $k \star k$ when equality holds.

\medskip\noindent
To prove that $X$ is a simplicial object we have to check
(see Remark \ref{remark-relations}):
\begin{enumerate}
\item If $i < j$, then $d_i \circ d_j = d_{j - 1} \circ d_i$.
\item If $i < j$, then $d_i \circ s_j = s_{j - 1} \circ d_i$.
\item We have $\text{id} = d_j \circ s_j = d_{j + 1} \circ s_j$.
\item If $i > j + 1$, then $d_i \circ s_j = s_j \circ d_{i - 1}$.
\item If $i \leq j$, then $s_i \circ s_j = s_{j + 1} \circ s_i$.
\end{enumerate}

\medskip\noindent
Relation (1) is proved in exactly the same manner as the proof
of the equality $\epsilon_0 \circ d^1_0 = \epsilon_0 \circ d^1_1$ above.

\medskip\noindent
The simplest case of equality (5) is the commutativity of the diagram
$$
\xymatrix{
F \circ i \ar[rrr]_{1_F \star t \star 1_i}
\ar[d]_{1_F \star t \star 1_i} & & &
F \circ i \circ F \circ i \ar[d]^{1_F \star t \star 1_{i \circ F \circ i}} \\
F \circ i \circ F \circ i
\ar[rrr]^{1_{F \circ i \circ F} \star t \star 1_i} & & &
F \circ i \circ F \circ i \circ F \circ i
}
$$
which holds because both compositions expand to the morphism
$1_F \star t \star t \star 1_i$ from
$F \circ \text{id}_\mathcal{A} \circ \text{id}_\mathcal{A} \circ i$
to $F \circ (i \circ F) \circ (i \circ F) \circ i$.
All other cases of (5) are proved in the same manner.

\medskip\noindent
The simplest case of equalities (2) and (4) is the commutativity of
the diagram
$$
\xymatrix{
F \circ i \circ F \circ i \ar[rrr]_{1_F \star k \star 1_i}
\ar[d]_{1_{F \circ i \circ F \circ i} \star t} & & &
F \circ i \ar[d]_{1_{F \circ i} \star t} \\
F \circ i \circ F \circ i \circ F \circ i
\ar[rrr]^{1_F \star k \star 1_{i \circ F \circ i \circ F}} & & &
F \circ i \circ F \circ i
}
$$
which again holds because both compositions expand to give
$1_F \star k \star 1_i \star t$ as maps from
$F \circ (i \circ F) \circ i \circ \text{id}_\mathcal{A}$
to $F \circ \text{id}_\mathcal{A} \circ i \circ (F \circ i)$.
All other cases of (2) and (4) are proved in the same manner.

\medskip\noindent
The relations (3) are the only nontrivial ones and these are
consequences of the fact that the compositions in
(\ref{equation-composition}) are the identity. For example, the simplest
case of (3) states that the compositions
$$
\xymatrix{
F \circ i \ar[rr]_{1_{F \circ i} \star t}
\ar[d]_{t \star 1_{F \circ i}} & &
F \circ i \circ F \circ i \ar[d]^{1_F \star k \star 1_i} \\
F \circ i \circ F \circ i \ar[rr]^{1_F \star k \star 1_i} & &
F \circ i
}
$$
go around the diagram either way evaluate out to the identity. Going around
the top the composition evaluates to
$1_F \star ((k \star 1_i) \circ (1_i \star t))$
which is the identity by what was said above. The other cases of (3) are
proved in the same manner.
\end{proof}

\noindent
Before reading the proof of the following lemma, we strongly urge the
reader to look at the example discussed in
Example \ref{example-polynomial-algebra-homotopy}
in order to understand the purpose of the lemma.

\begin{lemma}
\label{lemma-standard-simplicial-homotopy}
In Situation \ref{situation-adjoint-functors}
the maps
$$
1_i \star \epsilon : i \circ X \to i,
\quad\text{and}\quad
\epsilon \star 1_F : X \circ F \to F
$$
are homotopy equivalences.
\end{lemma}

\begin{proof}
Denote $\epsilon_n : X_n \to X_{-1}$ the components of the augmentation
morphism. We observe that $\epsilon_n = k^{\star (n + 1)}$, the $(n + 1)$-fold
$\star$-composition of $k$.
Recall that $t : \text{id}_\mathcal{S} \to i \circ F$ is the
adjunction map. We have the morphisms
$$
t^{\star (n + 1)} \star 1_i :
i \longrightarrow i \circ (F \circ i)^{\circ (n + 1)} = i \circ X_n
$$
which are right inverse to $1_i \star \epsilon_n$ and the morphisms
$$
1_F \star t^{\star (n + 1)} :
F \longrightarrow (F \circ i)^{\circ (n + 1)} \circ F = X_n \circ F
$$
which are right inverse to $\epsilon_n \star 1_F$. These morphisms
determine morphisms of simplicial objects $b : i \to i \circ X$ and
$c : F \to X \circ F$ (proof omitted).
To finish it suffices to construct a homotopy between the morphisms
$1, b \circ (1_i \star \epsilon) : i \circ X \to i \circ X$
and between the two morphisms
$1, c \circ (\epsilon \star 1_F) : X \circ F \to X \circ F$.

\medskip\noindent
To show the morphisms
$b \circ (1_i \star \epsilon), 1 : i \circ X \to i \circ X$
are homotopic we have to construct morphisms
$$
h_{n, j} : i \circ X_n \to i \circ X_n
$$
for $n \geq 0$ and $0 \leq j \leq n + 1$
satisfying the relations described in Lemma \ref{lemma-relations-homotopy}.
See also Remark \ref{remark-homotopy-better}.
We are forced to set $h_{n, 0} = 1$ and
$$
h_{n , n + 1} = b_n \circ (1_i \star \epsilon_n) =
(t^{\star (n + 1)} \star 1_i) \circ (1_i \star k^{\star (n + 1)})
$$
Thus a logical choice is
$$
h_{n , j} =
(t^{\star (j)} \star 1) \circ (1_i \star k^{\star (j)} \star 1)
$$
Here and in the rest of the proof we drop the subscript from $1$
if it is clear by knowing the source and the target of the morphism
what this subscript should be. Writing
$$
i \circ X_n = i \circ F \circ i \circ \ldots \circ F \circ i
$$
we can think of the morphism $h_{n, j}$ as collapsing the first
$j$ pairs $(F \circ i)$ to $\text{id}_\mathcal{S}$ using $k^{\star (j)}$,
then adding a $\text{id}_\mathcal{S}$ in front and expanding this
to $j$ pairs $(i \circ F)$ using $t^{\star (j)}$. We have to prove
\begin{enumerate}
\item We have $d^n_m \circ h_{n, j} = h_{n - 1, j - 1} \circ d^n_m$
for $j > m$.
\item We have $d^n_m \circ h_{n, j} = h_{n - 1, j} \circ d^n_m$
for $j \leq m$.
\item We have $s^n_m \circ h_{n, j} = h_{n + 1, j + 1} \circ s^n_m$
for $j > m$.
\item We have $s^n_m \circ h_{n, j} = h_{n + 1, j} \circ s^n_m$
for $j \leq m$.
\end{enumerate}
Recall that $d^n_m$ is given by applying $k$ to the $(m + 1)$st pair
$(F \circ i)$ in the functor $X_n = (F \circ i)^{\circ (n + 1)}$. Thus
it is clear that (2) holds (because $k$ does $\star$-commute with $k$, but
not with $t$). Similarly, $s^n_m$ is given by applying
$1_F \star t \star i_i$ to the $(m + 1)$st pair $(F \circ i)$ in
$X_n = (F \circ i)^{\circ (n + 1)}$. Thus it is clear that (4) holds.
In the two remaining cases one uses the fact that the compositions
in (\ref{equation-composition}) are the identity causes the drop
in the index $j$. Some details omitted.

\medskip\noindent
To show the morphisms
$1, c \circ (\epsilon \star 1_F) : X \circ F \to X \circ F$
are homotopic we have to construct morphisms
$$
h_{n, j} : X_n \circ F \longrightarrow X_n \circ F
$$
for $n \geq 0$ and $0 \leq j \leq n + 1$
satisfying the relations described in Lemma \ref{lemma-relations-homotopy}.
See also Remark \ref{remark-homotopy-better}.
We are forced to set $h_{n, 0} = 1$ and
$$
h_{n , n + 1} = c_n \circ (\epsilon_n \star 1_F) =
(1_F \star t^{\star (n + 1)}) \circ (k^{\star (n + 1)} \star 1_F)
$$
Thus a logical choice is
$$
h_{n , j} =
(1_F \star t^{\star (j)} \star 1) \circ (k^{\star (j)} \star 1)
$$
Here and in the rest of the proof we drop the subscript from $1$
if it is clear by knowing the source and the target of the morphism
what this subscript should be. Writing
$$
X_n \circ F = F \circ i \circ F \circ \ldots \circ i \circ F
$$
we can think of the morphism $h_{n, j}$ as collapsing the first
$j$ pairs $(F \circ i)$ to $\text{id}_\mathcal{S}$ using $k^{\star (j)}$,
then inserting a $\text{id}_\mathcal{S}$ just after the first $F$ and
expanding this to $j$ pairs $(i \circ F)$ using $t^{\star (j)}$.
We have to prove
\begin{enumerate}
\item We have $d^n_m \circ h_{n, j} = h_{n - 1, j - 1} \circ d^n_m$
for $j > m$.
\item We have $d^n_m \circ h_{n, j} = h_{n - 1, j} \circ d^n_m$
for $j \leq m$.
\item We have $s^n_m \circ h_{n, j} = h_{n + 1, j + 1} \circ s^n_m$
for $j > m$.
\item We have $s^n_m \circ h_{n, j} = h_{n + 1, j} \circ s^n_m$
for $j \leq m$.
\end{enumerate}
Recall that $d^n_m$ is given by applying $k$ to the $(m + 1)$st pair
$(F \circ i)$ in the functor $X_n = (F \circ i)^{\circ (n + 1)}$. Thus
it is clear that (2) holds (because $k$ does $\star$-commute with $k$, but
not with $t$). Similarly, $s^n_m$ is given by applying
$1_F \star t \star i_i$ to the $(m + 1)$st pair $(F \circ i)$ in
$X_n = (F \circ i)^{\circ (n + 1)}$. Thus it is clear that (4) holds.
In the two remaining cases one uses the fact that the compositions
in (\ref{equation-composition}) are the identity causes the drop
in the index $j$. Some details omitted.
\end{proof}

\begin{example}
\label{example-polynomial-algebra-homotopy}
Going back to the example discussed in
Example \ref{example-polynomial-algebra}
our Lemma \ref{lemma-standard-simplicial-homotopy}
signifies that for any ring $A$ the map of simplicial rings
$$
\xymatrix{
\mathbf{Z}[\mathbf{Z}[\mathbf{Z}[A]]] \ar[d]
\ar@<2ex>[r]
\ar@<0ex>[r]
\ar@<-2ex>[r]
&
\mathbf{Z}[\mathbf{Z}[A]] \ar[d]
\ar@<1ex>[r]
\ar@<-1ex>[r]
\ar@<1ex>[l]
\ar@<-1ex>[l]
&
\mathbf{Z}[A] \ar[d]
\ar@<0ex>[l] \\
A
\ar@<2ex>[r]
\ar@<0ex>[r]
\ar@<-2ex>[r]
&
A
\ar@<1ex>[r]
\ar@<-1ex>[r]
\ar@<1ex>[l]
\ar@<-1ex>[l]
&
A
\ar@<0ex>[l]
}
$$
is a homotopy equivalence on underlying simplicial sets. Moreover, the inverse
map constructed in Lemma \ref{lemma-standard-simplicial-homotopy}
is in degree $n$ given by
$$
a \longmapsto [\ldots[a]\ldots]
$$
with obvious notation. In the other direction the lemma tells us that
for every set $E$ there is a homotopy equivalence
$$
\xymatrix{
\mathbf{Z}[\mathbf{Z}[\mathbf{Z}[\mathbf{Z}[E]]]] \ar[d]
\ar@<2ex>[r]
\ar@<0ex>[r]
\ar@<-2ex>[r]
&
\mathbf{Z}[\mathbf{Z}[\mathbf{Z}[E]]] \ar[d]
\ar@<1ex>[r]
\ar@<-1ex>[r]
\ar@<1ex>[l]
\ar@<-1ex>[l]
&
\mathbf{Z}[\mathbf{Z}[E]] \ar[d]
\ar@<0ex>[l] \\
\mathbf{Z}[E]
\ar@<2ex>[r]
\ar@<0ex>[r]
\ar@<-2ex>[r]
&
\mathbf{Z}[E]
\ar@<1ex>[r]
\ar@<-1ex>[r]
\ar@<1ex>[l]
\ar@<-1ex>[l]
&
\mathbf{Z}[E]
\ar@<0ex>[l]
}
$$
of rings. The inverse map constructed in the lemma is in degree $n$
given by the ring map
$$
\sum m_{e_1,\ldots,e_p}[e_1][e_2] \ldots [e_p]
\longmapsto
\sum m_{e_1,\ldots,e_p}[\ldots[e_1]\ldots][\ldots[e_2]\ldots]
\ldots [\ldots[e_p]\ldots]
$$
(with obvious notation).
\end{example}










\input{chapters}

\bibliography{my}
\bibliographystyle{amsalpha}

\end{document}