Kerodon

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

11.7 Retired Sections

This section consists of headers which were removed from the main text.

Remark 11.7.0.6. This subsection was relevant to an older discussion of the universal cocartesian fibration.

Remark 11.7.0.7. This was a section on the classical theory of fibered categories; it has been broken down and distributed throughout §5.

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

Remark 11.7.0.13. Removed subsection which originally contained the definitions of left and right fibrations.