$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
9.10 Temporarily Retired Subsections
These subsections were removed, but may be added back.
Structure
- Subsection 9.10.1: Notational Junk
- Subsection 9.10.2: The Transport Representation
- Subsection 9.10.3: Classical Stuff
- Subsection 9.10.4: Locally Cartesian Fibrations
- Subsection 9.10.5: Classical Grothendieck Construction for Lax Functors
- Subsection 9.10.6: Explicit Transport for Set-Valued Functors
- Subsection 9.10.7: Relative Homotopy Equivalences
- Subsection 9.10.8: Covariant and Contravariant Equivalences