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: Fibrations in Groupoids