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

11.7 Retired Sections

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

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

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

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

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