Kerodon

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

2 Higher Category Theory

Structure

  • Chapter 6: Adjoint Functors
    • Section 6.1: Adjunctions in $2$-Categories
      • Subsection 6.1.1: Adjunctions
      • Subsection 6.1.2: Adjuncts
      • Subsection 6.1.3: Uniqueness of Adjoints
      • Subsection 6.1.4: Adjoints of Isomorphisms
      • Subsection 6.1.5: Composition of Adjunctions
      • Subsection 6.1.6: Duality in Monoidal Categories
    • Section 6.2: Adjoint Functors Between $\infty $-Categories
      • Subsection 6.2.1: Adjunctions of $\infty $-Categories
      • Subsection 6.2.2: Reflective Subcategories
      • Subsection 6.2.3: Correspondences
      • Subsection 6.2.4: Local Existence Criterion
      • Subsection 6.2.5: Digression: $\infty $-Categories with Short Morphisms
    • Section 6.3: Localization
      • Subsection 6.3.1: Localizations of $\infty $-Categories
      • Subsection 6.3.2: Existence of Localizations
      • Subsection 6.3.3: Reflective Localizations
      • Subsection 6.3.4: Stability Properties of Localizations
      • Subsection 6.3.5: Fiberwise Localization
      • Subsection 6.3.6: Universal Localizations
      • Subsection 6.3.7: Subdivision and Localization
  • Chapter 7: Limits and Colimits
    • Section 7.1: Limits and Colimits
      • Subsection 7.1.1: Limits and Colimits in $\infty $-Categories
      • Subsection 7.1.2: Limit and Colimit Diagrams
      • Subsection 7.1.3: Preservation of Limits and Colimits
      • Subsection 7.1.4: Relative Initial and Final Objects
      • Subsection 7.1.5: Relative Limits and Colimits
      • Subsection 7.1.6: Limits and Colimits of Functors
    • Section 7.2: Cofinality
      • Subsection 7.2.1: Cofinal Morphisms of Simplicial Sets
      • Subsection 7.2.2: Cofinality and Limits
      • Subsection 7.2.3: Quillen's Theorem A for $\infty $-Categories
      • Subsection 7.2.4: Filtered $\infty $-Categories
      • Subsection 7.2.5: Local Characterization of Filtered $\infty $-Categories
      • Subsection 7.2.6: Left Fibrations over Filtered $\infty $-Categories
      • Subsection 7.2.7: Cofinal Approximation
      • Subsection 7.2.8: Sifted Simplicial Sets
    • Section 7.3: Kan Extensions
      • Subsection 7.3.1: Kan Extensions along General Functors
      • Subsection 7.3.2: Kan Extensions along Inclusions
      • Subsection 7.3.3: Relative Kan Extensions
      • Subsection 7.3.4: Kan Extensions along Fibrations
      • Subsection 7.3.5: Existence of Kan Extensions
      • Subsection 7.3.6: The Universal Property of Kan Extensions
      • Subsection 7.3.7: Transitivity of Kan Extensions
      • Subsection 7.3.8: Relative Colimits for Cocartesian Fibrations
    • Section 7.4: Limits and Colimits of $\infty $-Categories
      • Subsection 7.4.1: Limits of $\infty $-Categories
      • Subsection 7.4.2: Proof of the Diffraction Criterion
      • Subsection 7.4.3: Colimits of $\infty $-Categories
      • Subsection 7.4.4: Proof of the Refraction Criterion
      • Subsection 7.4.5: Limits and Colimits of Spaces
    • Section 7.5: Homotopy Limits and Colimits
      • Subsection 7.5.1: Homotopy Limits of Kan Complexes
      • Subsection 7.5.2: Homotopy Limits of $\infty $-Categories
      • Subsection 7.5.3: The Homotopy Limit as a Derived Functor
      • Subsection 7.5.4: Homotopy Limit Diagrams
      • Subsection 7.5.5: Categorical Limit Diagrams
      • Subsection 7.5.6: The Homotopy Colimit as a Derived Functor
      • Subsection 7.5.7: Homotopy Colimit Diagrams
      • Subsection 7.5.8: Categorical Colimit Diagrams
      • Subsection 7.5.9: Application: Filtered Colimits of $\infty $-Categories
    • Section 7.6: Examples of Limits and Colimits
      • Subsection 7.6.1: Products and Coproducts
      • Subsection 7.6.2: Powers and Tensors
      • Subsection 7.6.3: Pullbacks and Pushouts
      • Subsection 7.6.4: Examples of Pullback and Pushout Squares
      • Subsection 7.6.5: Equalizers and Coequalizers
      • Subsection 7.6.6: Sequential Limits and Colimits
      • Subsection 7.6.7: Small Limits
  • Chapter 8: The Yoneda Embedding
    • Section 8.1: Twisted Arrows and Cospans
      • Subsection 8.1.1: The Twisted Arrow Construction
      • Subsection 8.1.2: Homotopy Transport for Twisted Arrows
      • Subsection 8.1.3: The Cospan Construction
      • Subsection 8.1.4: Morphisms in the Duskin Nerve
      • Subsection 8.1.5: Cospans in $\infty $-Categories
      • Subsection 8.1.6: Thin $2$-Simplices of $\operatorname{Cospan}(\operatorname{\mathcal{C}})$
    • Section 8.2: Couplings of $\infty $-Categories
      • Subsection 8.2.1: Representable Couplings
      • Subsection 8.2.2: Morphisms of Couplings
      • Subsection 8.2.3: Representations of Couplings
      • Subsection 8.2.4: Presentations of Representable Couplings
      • Subsection 8.2.5: Adjunctions as Couplings
      • Subsection 8.2.6: Balanced Couplings
    • Section 8.3: The Yoneda Embedding
      • Subsection 8.3.1: Yoneda's Lemma
      • Subsection 8.3.2: Profunctors of $\infty $-Categories
      • Subsection 8.3.3: Hom-Functors for $\infty $-Categories
      • Subsection 8.3.4: Representable Profunctors
      • Subsection 8.3.5: Recognition of Hom-Functors
      • Subsection 8.3.6: Strict Models for Hom-Functors
    • Section 8.4: Presheaf $\infty $-Categories
      • Subsection 8.4.1: Dense Functors
      • Subsection 8.4.2: Density of Yoneda Embeddings
      • Subsection 8.4.3: The Universal Property of Presheaf $\infty $-Categories
      • Subsection 8.4.4: Example: Extensions as Adjoints
      • Subsection 8.4.5: Characterization of Yoneda Embeddings
    • Section 8.5: Retracts and Idempotents
      • Subsection 8.5.1: Retracts in $\infty $-Categories
      • Subsection 8.5.2: Idempotents in Ordinary Categories
      • Subsection 8.5.3: Idempotents in $\infty $-Categories
      • Subsection 8.5.4: Idempotent Completeness
      • Subsection 8.5.5: Idempotent Completion
      • Subsection 8.5.6: Idempotent Endomorphisms
      • Subsection 8.5.7: Homotopy Idempotent Endomorphisms
      • Subsection 8.5.8: Partial Idempotents
      • Subsection 8.5.9: The Thompson Groupoid