$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
2 Appendix
Structure

Chapter 6: Retired Tags

Section 6.1: Expanded Tags

Section 6.2: Tags without Context

Section 6.3: Obsolete Constructions

Section 6.4: Tags Lost in Reorganization

Section 6.5: Reclassified Tags

Section 6.6: Retired Sections

Chapter 7: Left and Right Fibrations

Chapter 8: $\infty $Categories

Subsection 8.0.1: Slices of Inner Fibrations

Subsection 8.0.2: Definitions

Subsection 8.0.3: The Universal Property of $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$