Kerodon

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

9.9 Retired Subsections

These subsections were removed from the main text.

Structure

  • Subsection 9.9.1: Towers of Kan Fibrations
  • Subsection 9.9.2: Classification of Fibrations
  • Subsection 9.9.3: Proof of the Universality Theorem
  • Subsection 9.9.4: The Category of Simplices