Kerodon

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

Remark 11.7.0.8. This was an old subsection characterizing Kan fibrations in terms of their transport representations; the contents are now contained in ยง5.2.2.