Kerodon

Proof. We have a commutative diagram

where the vertical maps are weak homotopy equivalences (Theorem 3.3.5.1). The desired result now follows from the two-out-of-three property (Remark 3.1.6.16). $\square$

Proof. We must show that every lifting problem

admits a solution. This follows by applying Remark 3.1.2.7 to the associated lifting problem

since the left vertical map is anodyne by virtue of Proposition 3.3.5.3. $\square$

Proof. Assume first that $f$ and $g$ are homotopic, so that there exists a morphism of simplicial sets $h: \Delta ^1 \times \operatorname{Sd}(X) \rightarrow Y$ satisfying $h|_{ \{ 0\} \times \operatorname{Sd}(X) } = f$ and $h|_{ \{ 1\} \times \operatorname{Sd}(X) } = g$. The composite map

then determines a morphism of simplicial sets $h': \Delta ^1 \times X \rightarrow \operatorname{Ex}(Y)$, which is immediately seen to be a homotopy from $f'$ to $g'$.

Conversely, suppose that $f'$ and $g'$ are homotopic. Since $\operatorname{Ex}(Y)$ is a Kan complex (Corollary 3.3.5.5), we can choose a morphism of simplicial sets $h': \Delta ^1 \times X \rightarrow \operatorname{Ex}(Y)$ satisfying $h|_{ \{ 0\} \times X} = f'$ and $h'|_{ \{ 1\} \times X} = g'$, which we can identify with a map $u: \operatorname{Sd}( \Delta ^1 \times X) \rightarrow Y$. Let $v$ denote the composite map $\operatorname{Sd}( \Delta ^1 \times X) \rightarrow \operatorname{Sd}(X) \xrightarrow {f} Y$, so that $u$ and $v$ have the same restriction to $\operatorname{Sd}( \{ 0\} \times X)$. Note that the inclusion of simplicial sets $\{ 0\} \times X \hookrightarrow \Delta ^1 \times X$ is anodyne (Proposition 3.1.2.9), so the subdivision $\operatorname{Sd}( \{ 0\} \times X ) \hookrightarrow \operatorname{Sd}( \Delta ^1 \times X)$ is also anodyne (Proposition 3.3.5.3). It follows that the restriction map $\operatorname{Fun}( \operatorname{Sd}( \Delta ^1 \times X), Y) \rightarrow \operatorname{Fun}( \operatorname{Sd}( \{ 0\} \times X), Y)$ is a trivial Kan fibration, so that $u$ and $v$ belong to the same path component of $\operatorname{Fun}( \operatorname{Sd}( \Delta ^1 \times X), Y)$ and are therefore homotopic. It follows that $f = v|_{ \operatorname{Sd}( \{ 1\} \times X)}$ and $g = u|_{ \operatorname{Sd}( \{ 1\} \times X) }$ are also homotopic. $\square$

Proof. Fix a simplicial set $X$. We wish to show that postcomposition with $\rho _{Y}$ induces a bijection

By virtue of Proposition 3.3.5.6, this is equivalent to the assertion that precomposition with the last vertex map $\lambda _{X}: \operatorname{Sd}(X) \rightarrow X$ induces a bijection

which follows from the fact that $\lambda _{X}$ is a weak homotopy equivalence (Proposition 3.3.4.8). $\square$

Proof. Let $Q$ be a partially ordered set. Using Example 3.3.3.18, we can identify the subdivisions $\operatorname{Sd}( \operatorname{N}_{\bullet }(Q) )$ and $\operatorname{Sd}( \operatorname{Sd}( \operatorname{N}_{\bullet }(Q) ) )$ with the nerves of partially ordered sets $\operatorname{Chain}[Q]$ and $\operatorname{Chain}[\operatorname{Chain}[Q]]$, respectively. Under this identification, a morphism of simplicial sets

corresponds to a nondecreasing functions $\operatorname{Chain}[\operatorname{Chain}[Q]] \rightarrow \operatorname{Chain}[Q]$, whose value on a linearly ordered subset $\vec{S} = (S_0 \subset S_1 \subset \cdots \subset S_ n)$ of $\operatorname{Chain}[Q]$ is given by

Note that we always have an inclusion $\{ \mathrm{Max}(S_0), \ldots , \mathrm{Max}(S_ n) \} \subseteq S_{n}$. It follows that there is a unique map of simplicial sets

satisfying $h_{Q} |_{ \{ 0\} \times \operatorname{Sd}( \operatorname{Sd}( \operatorname{N}_{\bullet }(Q) ) )} = \operatorname{Sd}( \lambda _{ \operatorname{N}_{\bullet }(Q) } )$ and $h_{Q} |_{ \{ 1\} \times \operatorname{Sd}( \operatorname{Sd}( \operatorname{N}_{\bullet }(Q) ) ) } = \lambda _{ \operatorname{Sd}( \operatorname{N}_{\bullet }(Q) )}$, depending functorially on $Q$.

Let $\sigma $ be an $n$-simplex of the simplicial set $\operatorname{Ex}(X)$, which we identify with a map $\sigma : \operatorname{Sd}( \Delta ^ n ) \rightarrow X$. We let $f(\sigma )$ denote the composite map

which we will identify with an $n$-simplex of the simplicial set $\operatorname{Fun}( \Delta ^1, \operatorname{Ex}( \operatorname{Ex}(X) ) )$. The construction $\sigma \mapsto f(\sigma )$ then determines a morphism of simplicial sets $f: \operatorname{Ex}(X) \rightarrow \operatorname{Fun}( \Delta ^1, \operatorname{Ex}( \operatorname{Ex}(X) ) )$, which we can identify with a map $\Delta ^1 \times \operatorname{Ex}(X) \rightarrow \operatorname{Ex}( \operatorname{Ex}(X) )$. By construction, this map is a homotopy from $\rho _{ \operatorname{Ex}(X) }$ to $\operatorname{Ex}( \rho _{X} )$. $\square$

Proof of Theorem 3.3.5.1. Let $X$ be a simplicial set. We wish to prove that the comparison map $\rho _{X}: X \rightarrow \operatorname{Ex}(X)$ is a weak homotopy equivalence. Fix a Kan complex $Y$; we must show that composition with $\rho _{X}$ induces a bijection $\pi _0( \operatorname{Fun}( \operatorname{Ex}(X), Y) ) \rightarrow \pi _0( \operatorname{Fun}(X,Y) )$. This map fits into a diagram

where the vertical maps are bijective (Proposition 3.3.5.7) and the lower triangle commutes by the naturality of $\rho $. To show that the upper horizontal map is bijective, it will suffice to show that the upper triangle also commutes. Fix a map $f: \operatorname{Ex}(X) \rightarrow Y$. We then compute

where the equality on the left follows from functoriality, the equality on the right from the naturality of $\rho $, and the homotopy in the middle is supplied by Proposition 3.3.5.8. $\square$

Proof. Fix an element $j \in J$ and set $I = J \setminus \{ j\} $, so that the simplicial cube $\operatorname{\raise {0.1ex}{\square }}^ J$ can be identified with the product $\Delta ^1 \times \operatorname{\raise {0.1ex}{\square }}^{I} \simeq \Delta ^1 \times \operatorname{N}_{\bullet }( P(I) )$. Under this identification, $\theta $ corresponds to the inclusion map

which is anodyne by virtue of Proposition 3.1.2.9. $\square$

Proof of Proposition 3.3.5.3. Let $S$ be the collection of all morphisms of simplicial sets $f: X \rightarrow Y$ for which the induced map $\operatorname{Sd}(f): \operatorname{Sd}(X) \rightarrow \operatorname{Sd}(Y)$ is anodyne. Since the subdivision functor $\operatorname{Sd}$ preserves colimits, the collection $S$ is weakly saturated (in the sense of Definition 1.5.4.12). To prove Proposition 3.3.5.3, it will suffice to show that $S$ contains every horn inclusion. Fix a positive integer $n$ and another integer $0 \leq i \leq n$. We will complete the proof by showing that the inclusion $\Lambda ^{n}_{i} \hookrightarrow \Delta ^ n$ induces an anodyne map $\operatorname{Sd}( \Lambda ^{n}_{i} ) \rightarrow \operatorname{Sd}( \Delta ^ n )$.

Let $J = [n] \setminus \{ i\} $, let $P(J)$ denote the collection of all subsets of $J$, partially ordered by inclusion. Set $P_{-}(J) = P(J) \setminus \{ J \} $, $P_{+}(J) = P(J) \setminus \{ \emptyset \} $, and $P_{\pm }(J) = P(J) \setminus \{ \emptyset , J \} $. In what follows, we identify $\operatorname{Sd}( \Delta ^ n )$ with the nerve of the partially ordered set $\operatorname{Chain}[n]$ of nonempty subsets of $[n]$, and $\operatorname{Sd}( \Lambda ^{n}_{i} )$ with the nerve of the partially ordered subset of $\operatorname{Chain}[n]$ obtained by removing the elements $[n]$ and $J$ (Proposition 3.3.3.17). The construction $J_0 \mapsto J_0 \cup \{ i\} $ determines an inclusion of partially ordered sets $P(J) \rightarrow \operatorname{Chain}[n]$, hence a monomorphism of simplicial sets

Let $Z \subseteq \operatorname{Sd}( \Delta ^{n} )$ be the union of $\operatorname{Sd}( \Lambda ^{n}_{i} )$ with the image of $g$. An elementary calculation shows that the inverse image $g^{-1}( \operatorname{Sd}( \Lambda ^{n}_{i} ) )$ can be identified with the nerve of the subset $P_{-}(J) \subseteq P(J)$, so that we have a pushout diagram of simplicial sets

The left vertical map is anodyne by virtue of Lemma 3.3.5.9, so the right vertical map is anodyne as well. Let $h: [1] \times P_{+}(J) \rightarrow \operatorname{Chain}[n]$ be the map of partially ordered sets given $h(0, J_0) = J_0$ and $h(1, J_0) = J_0 \cup \{ i \} $. Then $h$ determines a map of simplicial sets $\Delta ^1 \times \operatorname{N}_{\bullet }( P_{+}(J) ) \rightarrow \operatorname{Sd}( \Delta ^ n )$. An elementary calculation shows that this map of simplicial sets fits into a pushout diagram

The left vertical map in this diagram is anodyne by virtue of Proposition 3.1.2.9, so the inclusion $Z \hookrightarrow \operatorname{Sd}( \Delta ^ n )$ is also anodyne. It follows that the composite map $\operatorname{Sd}( \Lambda ^{n}_{i} ) \hookrightarrow Z \hookrightarrow \operatorname{Sd}( \Delta ^ n )$ is anodyne, as desired. $\square$