Kerodon

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

4 Left Fibrations and the Grothendieck Construction

Structure

  • Section 4.1: Left and Right Fibrations of Simplicial Sets
    • Subsection 4.1.1: Definitions
    • Subsection 4.1.2: Left Anodyne and Right Anodyne Morphisms
    • Subsection 4.1.3: Exponentiation for Left and Right Fibrations
    • Subsection 4.1.4: The Homotopy Extension Lifting Property
    • Subsection 4.1.5: Example: Fibrations in Groupoids
  • Section 4.2: The Slice and Join Constructions
    • Subsection 4.2.1: Slicing Categories
    • Subsection 4.2.2: Joins of Categories
    • Subsection 4.2.3: Joins of Simplicial Sets
    • Subsection 4.2.4: Joins of Topological Spaces
    • Subsection 4.2.5: Slicing Simplicial Sets
    • Subsection 4.2.6: Slicing $\infty $-Categories
    • Subsection 4.2.7: Slices of Left and Right Fibrations