Kerodon

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

10.7 Retired Sections

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

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

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

Remark 10.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.

Remark 10.7.0.9. This was an old chapter on left fibrations, which was removed.

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