Lemma 14.31.2. 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.
Proof. This follows immediately from the functorial properties of the fibre product (Lemma 14.7.2) and the definitions. \square
Comments (0)
There are also: