Remark 11.5.0.122 (Two-out-of-Six). Let $f: W \rightarrow X$, $g: X \rightarrow Y$, and $h: Y \rightarrow Z$ be morphisms of simplicial sets. If $g \circ f$ and $h \circ g$ are categorical equivalences, then $f$, $g$, and $h$ are categorical equivalences.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$