$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Remark Proposition has an interpretation in the language of model categories. Let us regard the category $\operatorname{Set_{\Delta }}$ of simplicial sets as equipped with the Joyal model structure of Remark . Conditions $(2)$ and $(3)$ of Proposition are equivalent to the requirement that the morphisms $f_0, f_1: B \rightarrow \operatorname{\mathcal{C}}$ are homotopic with respect to the Joyal model structure (in the sense of Definition ). Proposition asserts that this is equivalent to the requirement that $f_0$ and $f_1$ are naturally isomorphic (in the sense of Definition