Kerodon

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

9 Large $\infty $-Categories

Structure

  • Section 9.1: Local Objects and Factorization Systems
    • Subsection 9.1.1: Local Objects
    • Subsection 9.1.2: Digression: Transfinite Composition
    • Subsection 9.1.3: Weakly Local Objects
    • Subsection 9.1.4: The Small Object Argument
    • Subsection 9.1.5: Lifting Problems in $\infty $-Categories
    • Subsection 9.1.6: Weak Factorization Systems
    • Subsection 9.1.7: Orthogonality
    • Subsection 9.1.8: Uniqueness of Factorizations
    • Subsection 9.1.9: Factorization Systems
  • Section 9.2: Truncated Objects of $\infty $-Categories
    • Subsection 9.2.1: Truncated Objects
    • Subsection 9.2.2: Example: Discrete and Subterminal Objects
    • Subsection 9.2.3: Truncated Morphisms
    • Subsection 9.2.4: Monomorphisms