# Kerodon

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

Proposition 3.5.2.11. Let $m$ and $n$ be integers and let $f: X \rightarrow Y$ be an $(m+n)$-connective morphism of Kan complexes. Let $B$ be a simplicial set of dimension $\leq m$, and let $A \subseteq B$ be a simplicial subset. Then the restriction map

$u: \operatorname{Fun}( B, X ) \rightarrow \operatorname{Fun}( A, X ) \times _{ \operatorname{Fun}( A, Y) } \operatorname{Fun}( B, Y )$

is $n$-connective.

Proof. Without loss of generality, we may assume that $m \geq 0$ (otherwise, our hypothesis guarantees that $A$ and $B$ are empty, so that $u$ is an isomorphism) and that $n \geq 0$ (otherwise, the conclusion that $u$ is $n$-connective is vacuous). Using Proposition 3.1.7.1, we can factor $f$ as a composition $X \xrightarrow {j} X' \xrightarrow {f'} Y$, where $j$ is anodyne and $f'$ is a Kan fibration. Since $Y$ is a Kan complex, the simplicial set $X'$ is a Kan complex (Remark 3.1.1.11), so $j$ is a homotopy equivalence of Kan complexes. We then have a commutative diagram

$\xymatrix@R =50pt@C=50pt{ \operatorname{Fun}(B,X) \ar [d]^{j \circ } \ar [r]^-{u} & \operatorname{Fun}( A, X ) \times _{ \operatorname{Fun}( A, Y) } \operatorname{Fun}( B, Y ) \ar [d] \\ \operatorname{Fun}(B, X' ) \ar [r]^-{u'} & \operatorname{Fun}( A, X ) \times _{ \operatorname{Fun}( A, Y) } \operatorname{Fun}( B, Y ) }$

where the vertical maps are homotopy equivalences (see Proposition 3.4.0.2). Consequently, to show that $u$ is $n$-connective, it will suffice to show that $u'$ is $n$-connective. We may therefore replace $f$ by $f'$, and thereby reduce to proving Proposition 3.5.2.11 in the special case where $f$ is a Kan fibration. In this case, $u$ is also a Kan fibration (Theorem 3.1.3.1). By virtue of Proposition 3.5.2.1, it will suffice to show that if $B'$ is a simplicial set of dimension $\leq n$ and $A' \subseteq B'$ is a simplicial subset, then every lifting problem

3.71
$$\begin{gathered}\label{equation:exponentiation-for-connectivity} \xymatrix@R =50pt@C=50pt{ A' \ar [r] \ar [d] & \operatorname{Fun}( B, X ) \ar [d]^{u} \\ B' \ar [r] \ar@ {-->}[ur] & \operatorname{Fun}( A, X ) \times _{ \operatorname{Fun}( A, Y) } \operatorname{Fun}( B, Y ) } \end{gathered}$$

admits a solution. Unwinding the definitions, we can rewrite (3.71) as a lifting problem

$\xymatrix@R =50pt@C=50pt{ (A \times B') \coprod _{ (A \times A' ) } (B \times A') \ar [r] \ar [d] & X \ar [d]^{f} \\ B \times B' \ar [r] \ar@ {-->}[ur] & Y. }$

Since the simplicial set $B \times B'$ has dimension $\leq m+n$ (Proposition 1.1.3.6), the existence of a solution follows from our assumption that $f$ is $(m+n)$-connective (Proposition 3.5.2.1). $\square$