# Kerodon

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

### 9.10.8 Covariant and Contravariant Equivalences

Fix a simplicial set $S$. In §9.10.7, we showed that the notion of homotopy equivalence relative to $S$ (Definition 9.10.7.1) is well-behaved when restricted to simplicial sets $X$ which are equipped with a left (or right) fibration $q: X \rightarrow S$. When working with more general objects of $(\operatorname{Set_{\Delta }})_{/S}$, it is convenient to consider a more liberal notion of equivalence.

Definition 9.10.8.1. Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr] & & Y \ar [dl] \\ & S. & }$

We say that $f$ is a covariant equivalence relative to $S$ if, for every left fibration $q: Z \rightarrow S$, precomposition with $f$ induces a bijection $\pi _0( \operatorname{Fun}_{/S}(Y,Z) ) \rightarrow \pi _0( \operatorname{Fun}_{/S}(X,Z) )$. We say that $f$ is a contravariant equivalence relative to $S$ if, for every right fibration $q: Z \rightarrow S$, precomposition with $f$ induces a bijection $\pi _0(\operatorname{Fun}_{/S}(Y,Z)) \rightarrow \pi _0(\operatorname{Fun}_{/S}(X,Z))$.

Remark 9.10.8.2. In the situation of Definition 9.10.8.1, the morphism $f: X \rightarrow Y$ is a covariant equivalence relative to $S$ if and only if the opposite morphism $f^{\operatorname{op}}: X^{\operatorname{op}} \rightarrow Y^{\operatorname{op}}$ is a contravariant equivalence relative to $S^{\operatorname{op}}$.

Example 9.10.8.3. Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr] & & Y \ar [dl] \\ & S. & }$

If $f$ is a homotopy equivalence relative to $S$ (Definition 9.10.7.1), then it is both a covariant and contravariant equivalence relative to $S$ (see Remark 9.10.7.2).

Example 9.10.8.4. Let $f: X \rightarrow Y$ be a morphism of simplicial sets. It follows from Proposition 4.4.2.1 that the following conditions are equivalent:

• The morphism $f$ is a covariant equivalence relative to $\Delta ^{0}$.

• The morphism $f$ is a contravariant equivalence relative to $\Delta ^{0}$.

• The morphism $f$ is a weak homotopy equivalence.

See Proposition 9.10.8.16 for a more general statement.

Warning 9.10.8.5. The notions of covariant and contravariant equivalence are generally distinct from one another. For example, the inclusion map $i_1: \{ 1\} \hookrightarrow \Delta ^1$ is a contravariant equivalence with respect to $\Delta ^1$ (see Proposition 9.10.8.13 below). However, $i_1$ is not a covariant equivalence with respect to $\Delta ^1$: note that $i_1$ is a left fibration, but the restriction map

$\pi _0(\operatorname{Fun}_{/\Delta ^1}( \Delta ^1, \{ 1\} ) ) \rightarrow \pi _0( \operatorname{Fun}_{/\Delta ^1}( \{ 1\} , \{ 1\} ) )$

is not bijective (the left hand side is empty and the right hand side is not).

Warning 9.10.8.6. In the situation of Definition 9.10.8.1, we will often abuse terminology by referring to the morphism $f: X \rightarrow Y$ in the slice category $(\operatorname{Set_{\Delta }})_{/S}$ as a covariant equivalence (contravariant equivalence) if it is a covariant equivalence relative to $S$. Beware that there is some danger of confusion, because the notion of covariant equivalence depends on $S$. For example, the inclusion map $\{ 1\} \hookrightarrow \Delta ^1$ is not a covariant equivalence relative to $\Delta ^1$ (Warning 9.10.8.5), but is a covariant equivalence relative to the final object $\Delta ^{0} \in \operatorname{Set_{\Delta }}$ (Example 9.10.8.4).

Remark 9.10.8.7. Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr] & & Y \ar [dl] \\ & S & }$

and a morphism $g: S \rightarrow T$. If $f$ is a covariant equivalence relative to $S$, then it is also a covariant equivalence relative to $T$. This follows from the observation that for every left fibration $q: Z \rightarrow T$, we have canonical isomorphisms

$\operatorname{Fun}_{T}(Y, Z) \simeq \operatorname{Fun}_{/S}( Y, S \times _{T} Z) \quad \quad \operatorname{Fun}_{T}(X,Z) \simeq \operatorname{Fun}_{/S}(X, S \times _{T} Z ).$

Similarly, if $f$ is a contravariant equivalence relative to $S$, then it is also a contravariant equivalence relative to $T$.

Remark 9.10.8.8. Suppose we given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr] & & Y \ar [dl] \\ & S. & }$

If $f$ is either a covariant or contravariant equivalence relative to $S$, then it is a weak homotopy equivalence. This follows by combining Remark 9.10.8.7 with Example 9.10.8.4.

Remark 9.10.8.9 (Two-out-of-Six). Let $S$ be a simplicial set, and let $f: W_{} \rightarrow X_{}$, $g: X_{} \rightarrow Y_{}$, and $h: Y_{} \rightarrow Z_{}$ be morphisms in the slice category $(\operatorname{Set_{\Delta }})_{/S}$. If $g \circ f$ and $h \circ g$ are covariant equivalences relative to $S$, then $f$, $g$, and $h$ are all covariant equivalences relative to $S$. Similarly, if $g \circ f$ and $h \circ g$ are contravariant equivalences relative to $S$, then $f$, $g$, and $h$ are contravariant equivalences relative to $S$.

Remark 9.10.8.10 (Two-out-of-Three). Let $S$ be a simplicial set, and let $f:X \rightarrow Y$ and $g: Y \rightarrow Z$ be morphisms in the slice category $(\operatorname{Set_{\Delta }})_{/S}$. If any two of the morphisms $f$, $g$, and $g \circ f$ is a covariant equivalence relative to $S$, then so is the third. Similarly, if any two of the morphisms $f$, $g$, and $g \circ f$ is a contravariant equivalence relative to $S$, then so is the third.

Proposition 9.10.8.11. Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr] & & Y \ar [dl] \\ & S. & }$

Let $q: Z \rightarrow S$ be a morphism of simplicial sets and let $\theta : \operatorname{Fun}_{/S}(Y,Z) \rightarrow \operatorname{Fun}_{/S}(X,Z)$ be the morphism given by precomposition with $f$. If $f$ is a covariant equivalence relative to $S$ and $q$ is a left fibration, then $\theta$ is homotopy equivalence. Similarly, if $f$ is a contravariant equivalence relative to $S$ and $q$ is a right fibration, then $\theta$ is a homotopy equivalence.

Proof. We will prove the first assertion; the second follows from the same argument. We will prove that $\theta$ is a homotopy equivalence by showing that, for every simplicial set $K$, the induced map $\theta _{K}: \pi _0( \operatorname{Fun}(K, \operatorname{Fun}_{/S}(Y,Z) ) \rightarrow \pi _0( \operatorname{Fun}(K, \operatorname{Fun}_{/S}(X,Z) ))$ is a bijection. Form a pullback diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ Z' \ar [r] \ar [d]^{q'} & \operatorname{Fun}(K,Z) \ar [d]^{ \circ q} \\ S \ar [r] & \operatorname{Fun}(K,S). }$

The assumption that $q$ is a left fibration guarantees that the right vertical map is also a left fibration (Corollary 4.2.5.2), so that $q': Z' \rightarrow S$ is also a left fibration. Unwinding the definitions, we see that $\theta _{K}$ can be identified with the map $\pi _0( \operatorname{Fun}_{/S}(Y, Z') ) \xrightarrow {\circ f} \pi _0( \operatorname{Fun}_{/S}(X, Z') )$, and is therefore bijective by virtue of our assumption that $f$ is a covariant equivalence relative to $S$. $\square$

Corollary 9.10.8.12. Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr] & & Y \ar [dl] \\ & S, & }$

where $f$ is a monomorphism. If $q: Z \rightarrow S$ is a left fibration of simplicial sets and $f$ is a covariant equivalence relative to $S$, then the induced map $\theta : \operatorname{Fun}_{/S}(Y,Z) \rightarrow \operatorname{Fun}_{/S}(X,Z)$ is a trivial Kan fibration. Similarly, if $q: Z \rightarrow S$ is a right fibration and $f$ is a contravariant equivalence relative to $S$, then $\theta$ is a trivial Kan fibration.

Proof. We will prove the first assertion; the proof of the second is similar. If $q$ is a left fibration, then the morphism $\theta : \operatorname{Fun}_{/S}(Y,Z) \rightarrow \operatorname{Fun}_{/S}(X,Z)$ is a Kan fibration (Proposition 9.10.7.5). If $f$ is a covariant equivalence relative to $S$, then $\theta$ is also a homotopy equivalence (Proposition 9.10.8.11), and therefore a trivial Kan fibration (Proposition 3.3.7.4). $\square$

Proposition 9.10.8.13. Let $f: X \hookrightarrow Y$ be a monomorphism of simplicial sets. The following conditions are equivalent:

$(1)$

The morphism $f$ is left anodyne.

$(2)$

The morphism $f$ is a covariant equivalence relative to $Y$.

$(3)$

For every morphism of simplicial sets $Y \rightarrow S$, the morphism $f$ is a covariant equivalence relative to $S$.

Proof. The implication $(1) \Rightarrow (2)$ follows from Remark 9.10.7.6, and the implication $(2) \Rightarrow (3)$ from Remark 9.10.8.7. We will show that $(3)$ implies $(1)$. For this, we must show that every lifting problem

$\xymatrix@R =50pt@C=50pt{ X \ar [d]^{f} \ar [r] & Z \ar [d]^{q} \\ Y \ar [r] \ar@ {-->}[ur] & S }$

admits a solution, provided that $q$ is a left fibration of simplicial sets (Corollary 4.2.4.10). To prove this, it will suffice to show that the natural map $\theta : \operatorname{Fun}_{/S}(Y,Z) \rightarrow \operatorname{Fun}_{/S}(X,Z)$ is surjective on vertices. In fact, our assumption that $f$ is a monomorphism and a covariant equivalence relative to $S$ guarantees that $\theta$ is a trivial Kan fibration of simplicial sets (Corollary 9.10.8.12). $\square$

Proposition 9.10.8.14. Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr]_{q_ X} & & Y \ar [dl]^{q_{Y}} \\ & S, & }$

where $q_{X}$ and $q_{Y}$ are left fibrations. Then the following conditions are equivalent:

$(1)$

The morphism $f$ is a homotopy equivalence relative to $S$.

$(2)$

The morphism $f$ is a covariant equivalence relative to $S$.

$(3)$

For each vertex $s \in S$, the induced map $f_{s}: X_{s} \rightarrow Y_{s}$ is a homotopy equivalence of Kan complexes.

Proof. The implications $(1) \Rightarrow (2)$ and $(1) \Rightarrow (3)$ follow from Example 9.10.8.3 and Remark 9.10.7.2 (and do not require the assumption that $q_{X}$ and $q_{Y}$ are left fibrations). The implication $(3) \Rightarrow (1)$ follows from Theorem 9.10.7.3. We will complete the proof by showing that $(2) \Rightarrow (1)$. Assume that $f$ is a covariant equivalence relative to $S$. Then precomposition with $f$ induces a bijection $\pi _0( \operatorname{Fun}_{/S}(Y,X) ) \rightarrow \pi _0( \operatorname{Fun}_{/S}(X,X) )$. We can therefore choose a morphism $g: Y \rightarrow X$ in the slice category $(\operatorname{Set_{\Delta }})_{/S}$ such that $g \circ f$ and $\operatorname{id}_{X}$ belong to the same connected component of $\operatorname{Fun}_{/S}(X,X)$. Then $f \circ g \circ f$ and $f$ belong to the same connected component of the simplicial set $\operatorname{Fun}_{/S}(X,Y)$. Since the map $\pi _0( \operatorname{Fun}_{/S}(Y,Y) ) \rightarrow \pi _0( \operatorname{Fun}_{/S}(X,Y) )$ is injective, it follows that $f \circ g$ and $\operatorname{id}_{Y}$ belong to the same connected component of $\operatorname{Fun}_{/S}(Y,Y)$. It follows that $f$ is a homotopy equivalence relative to $S$ (with homotopy inverse $g$). $\square$

Remark 9.10.8.15 (Axioms for Covariant Equivalence). Fix a simplicial set $S$. Combining Remark 9.10.8.10, Proposition 9.10.8.13, and Proposition 9.10.8.14, we see that the notion of covariant equivalence (relative to $S$) satisfies the following properties:

$(a)$

If $f: X \rightarrow Y$ and $g: Y \rightarrow Z$ are morphisms in $(\operatorname{Set_{\Delta }})_{/S}$ and two of the morphisms $f$, $g$, and $g \circ f$ are covariant equivalences, then so is the third.

$(b)$

Every left anodyne morphism of $(\operatorname{Set_{\Delta }})_{/S}$ is a covariant equivalence.

$(c)$

If $q_{X}: X \rightarrow S$ and $q_{Y}: Y \rightarrow S$ are left fibrations, then a morphism $f: X \rightarrow Y$ in $(\operatorname{Set_{\Delta }})_{/S}$ is a covariant equivalence if and only if the induced map $f_{s}: X_{s} \rightarrow Y_{s}$ is a homotopy equivalence of Kan complexes, for each $s \in S$.

In fact, the notion of covariant equivalence is completely characterized by $(a)$, $(b)$, and $(c)$. To prove this, suppose we are given an arbitrary commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr]_{q_ X} & & Y \ar [dl]^{q_{Y}} \\ & S. & }$

Using Proposition 4.2.4.8, we can factor $q_{Y}$ as a composition $Y \xrightarrow {q'_{Y}} Y' \xrightarrow {q''_{Y} } S$ where $q'_{Y}$ is left anodyne and $q''_{Y}$ is a left fibration. Similarly, we can factor the composite map $q'_{Y} \circ f$ as a composition $X \xrightarrow {q'_{X}} X' \xrightarrow {f'} Y'$, where $q'_{X}$ is left anodyne and $f'$ is a left fibration. We then have a commutative diagram

$\xymatrix@R =50pt@C=50pt{ X \ar [r]^-{f} \ar [d]^{q'_{X} } & Y \ar [d]^{ q'_{Y} } \\ X' \ar [r]^-{f'} & Y' }$

where the vertical maps are left anodyne (and therefore covariant equivalences, by virtue of $(b)$). Using $(a)$, we conclude that $f$ is a covariant equivalence if and only if $f'$ is a covariant equivalence relative to $S$. By virtue of $(c)$, this is equivalent to the requirement that for each vertex $s \in S$, the induced map $f'_{s}: X'_{s} \rightarrow Y'_{s}$ is a homotopy equivalence.

We conclude by establishing a partial converse to Remark 9.10.8.8:

Proposition 9.10.8.16. Suppose we given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr]_{q_ X} & & Y \ar [dl]^{q_ Y} \\ & S, & }$

where $S$ is a Kan complex. The following conditions are equivalent:

$(1)$

The morphism $f$ is a covariant equivalence relative to $S$.

$(2)$

The morphism $f$ is a contravariant equivalence relative to $S$.

$(3)$

The morphism $f$ is a weak homotopy equivalence.

Proof. The implications $(1) \Rightarrow (3)$ and $(2) \Rightarrow (3)$ follow from Remark 9.10.8.8 (and do not require the assumption that $S$ is a Kan complex). We will complete the proof by establishing the implication $(3) \Rightarrow (1)$ (the proof of the implication $(3) \Rightarrow (2)$ is similar). Assume that $f$ is a weak homotopy equivalence and let $q: Z \rightarrow S$ be a left fibration; we wish to show that the induced map $\theta : \operatorname{Fun}_{/S}(Y,Z) \rightarrow \operatorname{Fun}_{/S}(X,Z)$ is bijective on connected components. Our assumption that $S$ is a Kan complex guarantees that $q$ is a Kan fibration (Corollary 4.4.3.8), so that $Z$ is also a Kan complex. Consider the diagram of simplicial sets

9.17
\begin{equation} \begin{gathered}\label{equation:covariant-equivalence-over-Kan} \xymatrix@C =50pt@R=50pt{ \operatorname{Fun}(Y,Z) \ar [r]^-{\circ f} \ar [d]^{q \circ } & \operatorname{Fun}(X,Z) \ar [d]^{q \circ } \\ \operatorname{Fun}(Y,S) \ar [r]^-{\circ f} & \operatorname{Fun}(X,S). } \end{gathered} \end{equation}

Our assumption that $f$ is a weak homotopy equivalence guarantees that the horizontal maps in this diagram are homotopy equivalences (Corollary 9.6.0.5), so that diagram (9.17) is a homotopy Cartesian (Corollary 3.4.1.5). Corollary 3.1.3.2 guarantees that the vertical maps in the diagram (9.17) are Kan fibrations. Invoking Example 3.4.1.4, we conclude that the induced map

$\theta : \operatorname{Fun}_{/S}(Y,Z) = \{ q_ Y \} \times _{ \operatorname{Fun}(Y,S)} \operatorname{Fun}(Y,Z) \rightarrow \{ q_ X \} \times _{ \operatorname{Fun}(X,S) } \operatorname{Fun}(X,Z) = \operatorname{Fun}_{/S}(X,Z)$

is also a homotopy equivalence, and is therefore bijective on connected components. $\square$