Lemma 14.22.1. Let $\mathcal{A}$ be an abelian category.

The categories $\text{Simp}(\mathcal{A})$ and $\text{CoSimp}(\mathcal{A})$ are abelian.

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.

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.

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$.

## Comments (0)