$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
11.10 Temporarily Retired Subsections
These subsections were removed, but may be added back.
Structure
- 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 Set-Valued Functors
- Subsection 11.10.6: Relative Homotopy Equivalences
- Subsection 11.10.7: Covariant and Contravariant Equivalences