Remark 3.5.2.10. In the situation of Proposition 3.5.2.9, we can arrange that the simplicial set $Y$ is a Kan complex: this follows from Example 3.1.7.13.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 3.5.2.10. In the situation of Proposition 3.5.2.9, we can arrange that the simplicial set $Y$ is a Kan complex: this follows from Example 3.1.7.13.