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