Remark 11.7.0.1. The contents of this section are now contained in §7.4.1 and 7.4.3.
$\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.2. This section contained a proof which was vastly simplified.
Remark 11.7.0.3. This subsection was distributed throughout the beginning of §1.1.
Remark 11.7.0.4. This section was merged with §8.3.3.
Remark 11.7.0.5. This section was merged with §4.5.5.
Remark 11.7.0.6. This section was merged with §5.6.3.
Remark 11.7.0.7. This section was merged with §5.6.
Remark 11.7.0.8. This subsection was relevant to an older discussion of the universal cocartesian fibration.
Remark 11.7.0.9. This was a section on the classical theory of fibered categories; it has been broken down and distributed throughout §5.
Remark 11.7.0.10. A section on fibered categories which is now part of the introduction to [section:Cartesian-fibrations].
Remark 11.7.0.11. 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.12. This was an old chapter on left fibrations, which was removed.
Remark 11.7.0.13. This chapter was removed.
Remark 11.7.0.14. A subsection on slices of inner fibrations, whose contents were moved to §4.3.6.
Remark 11.7.0.15. Removed subsection which originally contained the definitions of left and right fibrations.
Remark 11.7.0.16. The contents of this subsection were merged into §1.4.5 and §1.3.6.