Remark 11.10.1.3. Let $S$ be a simplicial set. Then the simplicial categories $\operatorname{Cart}(S)$ and $\operatorname{CCart}(S)$ are locally Kan.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 11.10.1.3. Let $S$ be a simplicial set. Then the simplicial categories $\operatorname{Cart}(S)$ and $\operatorname{CCart}(S)$ are locally Kan.