$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
11.9 Retired Subsections
These subsections were removed from the main text.
Structure
-
Subsection 11.9.1: The Universal Property of Twisted Arrows
-
Subsection 11.9.2: Adjunctions as Profunctors
-
Subsection 11.9.3: Towers of Kan Fibrations
-
Subsection 11.9.4: Classification of Fibrations
-
Subsection 11.9.5: Proof of the Universality Theorem
-
Subsection 11.9.6: The Category of Simplices