Corollary 3.2.7.4. Let $f: X \rightarrow S$ be a Kan fibration between Kan complexes. The following conditions are equivalent:
- $(1)$
The morphism $f$ is a trivial Kan fibration.
- $(2)$
The morphism $f$ is a homotopy equivalence.
- $(3)$
The map $f$ induces a bijection $\pi _0(f): \pi _0(X) \rightarrow \pi _0(S)$. Moreover, for each vertex $x \in X$ having image $s = f(x)$ in $S$, the induced map $\pi _{n}(f): \pi _{n}(X,x) \rightarrow \pi _{n}(S,s)$ is an isomorphism for $n > 0$.
- $(4)$
For each vertex $s \in S$, the fiber $X_{s}$ is connected. Moreover, the homotopy groups $\pi _{n}(X_ s, x)$ vanish for each vertex $x \in X_{s}$ and each $n > 0$.