Lemma 14.32.3. Let $A$, $B$ be sets, and that $f : A \to B$ is a map. Consider the simplicial set $U$ with $n$-simplices

$A \times _ B A \times _ B \ldots \times _ B A\ (n + 1 \text{ factors)}.$

see Example 14.3.5. If $f$ is surjective, the morphism $U \to B$ where $B$ indicates the constant simplicial set with value $B$ is a trivial Kan fibration.

Proof. Observe that $U$ fits into a cartesian square

$\xymatrix{ U \ar[d] \ar[r] & \text{cosk}_0(A) \ar[d] \\ B \ar[r] & \text{cosk}_0(B) }$

Since the right vertical arrow is a trivial Kan fibration by Lemma 14.32.1, so is the left by Lemma 14.30.3. $\square$

Comment #6779 by Bogdan on

Shouldn't A and B be interchanged in the diagram?

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).