# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

## 4.2 Left and Right Fibrations

Let $q: X \rightarrow S$ be a morphism of simplicial sets. Recall that $q$ is a Kan fibration if and only if it has the right lifting property with respect to every horn inclusion $\Lambda ^{n}_{i} \hookrightarrow \Delta ^ n$ for $n > 0$ and $0 \leq i \leq n$ (Definition 3.1.1.1). In particular, if $q$ is a Kan fibration, then it has the right lifting property with respect to both of the inclusion maps $\{ 0 \} \hookrightarrow \Delta ^1 \hookleftarrow \{ 1\}$. Concretely, this translates into the following pair of assertions:

(Left Path Lifting Property):

Let $q: X_{} \rightarrow S_{}$ be a Kan fibration of simplicial sets, let $x$ be a vertex of $X_{}$, and let $\overline{e}: q(x) \rightarrow \overline{y}$ be an edge of $S_{}$ originating at the vertex $q(x)$. Then there exists an edge $e: x \rightarrow y$ in $X_{}$ which originates at the vertex $x$ and satisfies $q(e) = \overline{e}$.

(Right Path Lifting Property):

Let $q: X_{} \rightarrow S_{}$ be a Kan fibration of simplicial sets, let $y$ be a vertex of $X_{}$, and let $\overline{e}: \overline{x} \rightarrow q(y)$ be an edge of $S_{}$ terminating at the vertex $q(y)$. Then there exists an edge $e: x \rightarrow y$ in $X_{}$ which terminates at the vertex $y$ and satisfies $q(e) = \overline{e}$.

In §4.2.1, we introduce stronger versions of these conditions. We say that a morphism of simplicial sets $q: X \rightarrow S$ is a left fibration if it has the right lifting property with respect to the horn inclusions $\Lambda ^ n_{i} \hookrightarrow \Delta ^ n$ for $0 \leq i < n$, and a right fibration if it has the right lifting property with respect the horn inclusions $\Lambda ^{n}_{i} \hookrightarrow \Delta ^ n$ for $0 < i \leq n$ (Definition 4.2.1.1). Setting $n = 1$, we see that every left fibration satisfies the left path lifting property, and that every right fibration satisfies the right path lifting property. Moreover, this assertion has a partial converse. Note that evaluation at the vertices of $\Delta ^1$ induces morphisms of simplicial sets

$\operatorname{ev}_0: \operatorname{Fun}( \Delta ^1, X_{}) \rightarrow \operatorname{Fun}( \{ 0\} , X_{} ) \times _{ \operatorname{Fun}( \{ 0\} , S_{} ) } \operatorname{Fun}( \Delta ^1, S_{} ) \simeq X_{} \times _{ S_{} } \operatorname{Fun}( \Delta ^1, S_{} )$
$\operatorname{ev}_1: \operatorname{Fun}( \Delta ^1, X_{}) \rightarrow \operatorname{Fun}( \{ 1\} , X_{} ) \times _{ \operatorname{Fun}( \{ 1\} , S_{} ) } \operatorname{Fun}( \Delta ^1, S_{} ) \simeq X_{} \times _{ S_{} } \operatorname{Fun}( \Delta ^1, S_{} ).$

In §4.2.4, we show that $f$ is a left fibration if and only if the evaluation map $\operatorname{ev}_0$ is a trivial Kan fibration, and that $f$ is a right fibration if and only if $\operatorname{ev}_{1}$ is a trivial Kan fibration (Proposition 4.2.4.1). The “only if” direction of this assertion is a special case of general stability properties of left and right fibrations under exponentiation, which we prove in §4.2.3 (Propositions 4.2.3.1 and 4.2.3.4). Our proofs will make use of some basic facts about left anodyne and right anodyne morphisms of simplicial sets, which we establish in §4.2.2.

## Structure

• Subsection 4.2.1: Left and Right Fibrations of Simplicial Sets
• Subsection 4.2.2: Left Anodyne and Right Anodyne Morphisms
• Subsection 4.2.3: Exponentiation for Left and Right Fibrations
• Subsection 4.2.4: The Homotopy Extension Lifting Property