Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Corollary 3.1.3.4. Let $X_{}$ be a Kan complex and let $B_{}$ be an arbitrary simplicial set. Then the simplicial set $\operatorname{Fun}( B_{}, X_{} )$ is a Kan complex.