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

Chapter 11: Retired Tags
 Section 11.1: Expanded Tags
 Section 11.2: Discarded Diagrams
 Section 11.3: Tags without Context
 Section 11.4: Obsolete Constructions
 Section 11.5: Tags Lost in Reorganization
 Section 11.6: Reclassified Tags
 Section 11.7: Retired Sections
 Section 11.8: Temporarily Removed Tags

Section 11.9: Retired Subsections
 Subsection 11.9.1: Obsolete Discussion of Balanced Couplings
 Subsection 11.9.2: Connectivity of Morphisms
 Subsection 11.9.3: The Universal Property of Twisted Arrows
 Subsection 11.9.4: Adjunctions as Profunctors
 Subsection 11.9.5: Towers of Kan Fibrations
 Subsection 11.9.6: Classification of Fibrations
 Subsection 11.9.7: Proof of the Universality Theorem
 Subsection 11.9.8: The Category of Simplices

Section 11.10: Temporarily Retired Subsections
 Subsection 11.10.1: Notational Junk
 Subsection 11.10.2: The Transport Representation
 Subsection 11.10.3: Classical Stuff
 Subsection 11.10.4: Classical Grothendieck Construction for Lax Functors
 Subsection 11.10.5: Explicit Transport for SetValued Functors
 Subsection 11.10.6: Relative Homotopy Equivalences
 Subsection 11.10.7: Covariant and Contravariant Equivalences