Lemma 14.31.5. Let X_ i \to Y_ i be a set of Kan fibrations. Then \prod X_ i \to \prod Y_ i is a Kan fibration.
Proof. Omitted. \square
Lemma 14.31.5. Let X_ i \to Y_ i be a set of Kan fibrations. Then \prod X_ i \to \prod Y_ i is a Kan fibration.
Proof. Omitted. \square
Comments (0)
There are also: