Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

8.9 Temporarily Retired Subsections

These subsections were removed, but may be added back.

Structure

  • Subsection 8.9.1: Notational Junk
  • Subsection 8.9.2: The Transport Representation
  • Subsection 8.9.3: Classical Stuff
  • Subsection 8.9.4: Locally Cartesian Fibrations
  • Subsection 8.9.5: Classical Grothendieck Construction for Lax Functors
  • Subsection 8.9.6: Explicit Transport for Set-Valued Functors
  • Subsection 8.9.7: Relative Homotopy Equivalences
  • Subsection 8.9.8: Covariant and Contravariant Equivalences