Remark 9.3.6.2. In the situation of Construction 9.3.6.1, vertices of the simplicial set $\operatorname{Sol}(\sigma )$ can be identified with solutions to the lifting problem $\sigma $ (in the sense of Definition 9.3.4.1). In particular, the lifting problem $\sigma $ admits a solution if and only if $\operatorname{Sol}(\sigma )$ is nonempty.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$