# Kerodon

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

Remark 2.3.4.3. In , Duskin proves a stronger version of Theorem 2.3.4.1, which also identifies the essential image of the functor $\operatorname{N}^{\operatorname{D}}_{\bullet }: \operatorname{2Cat}_{\operatorname{ULax}} \rightarrow \operatorname{Set_{\Delta }}$.