Kerodon

Proof. Remark 2.5.6.4 guarantees that the simplicial sets $\mathrm{K}( C_{\ast } )$ and $\mathrm{K}(D_{\ast })$ are Kan complexes. By virtue of Theorem 3.2.7.1, $(1)$ is equivalent to the following pair of assertions:

$(1')$

The chain map $f$ induces a bijection $\pi _0( \mathrm{K}( C_{\ast } ) ) \rightarrow \pi _0( \mathrm{K}( D_{\ast } ) )$.

$(1'')$

For every vertex $x$ of $\mathrm{K}( C_{\ast } )$ having image $y \in \mathrm{K}( D_{\ast } )$ and every integer $n > 0$, the induced of homotopy groups

\[ \pi _{n}( \mathrm{K}( C_{\ast }), x) \rightarrow \pi _{n}( \mathrm{K}( D_{\ast }), y) \]

is an isomorphism.

Note that we have a commutative diagram of pointed Kan complexes

where the vertical isomorphisms are given by translation by $x$ and $y$, respectively (using the group structure on the Kan complexes $\mathrm{K}( C_{\ast } )$ and $\mathrm{K}( D_{\ast } )$. Consequently, to verify $(1'')$, we may assume without loss of generality that $x = 0$. Applying Exercise 3.2.2.22, we see that $(1')$ and $(1'')$ can be reformulated as follows:

$(2')$

The chain map $f$ induces an isomorphism $\mathrm{H}_{0}( C ) \rightarrow \mathrm{H}_0(D)$.

$(2'')$

For every integer $n > 0$, the chain map $f$ induces an isomorphism $\mathrm{H}_{n}(C) \rightarrow \mathrm{H}_ n(D)$.