Definition 7.6.2.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square. We say that $\sigma $ is a pullback square if it is a limit diagram in $\operatorname{\mathcal{C}}$ (see Definition 7.1.3.4), and that $\sigma $ is a pushout square if it is a colimit diagram in $\operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
7.6.2 Pullback and Pushout Squares
Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Recall that a commutative square in $\operatorname{\mathcal{C}}$ is a morphism of simplicial sets $\Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ which we represent informally by a diagram
\[ \xymatrix@R =50pt@C=50pt{ X' \ar [r] \ar [d] & Y' \ar [d] \\ X \ar [r] & Y } \]
(see Example 1.5.2.15). Note that the simplicial set $\Delta ^1 \times \Delta ^1 \simeq \operatorname{N}_{\bullet }( [1] \times [1] )$ can be regarded both as a left cone (on the nerve of the partially ordered set $[1] \times [1] \setminus \{ (0,0) \} $) and as a right cone (on the nerve of the partially ordered set $[1] \times [1] \setminus \{ (1,1) \} $).
Example 7.6.2.2. Let $\operatorname{\mathcal{C}}$ be an ordinary category. Then diagram $\sigma : [1] \times [1] \rightarrow \operatorname{\mathcal{C}}$ is a pullback square in $\operatorname{\mathcal{C}}$ (in the sense of classical category theory) if and only if the induced map is a pullback square in the $\infty $-category $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ (in the sense of Definition 7.6.2.1); this follows from Example 7.1.1.4 and Remark 7.1.3.6. Similarly, $\sigma $ is a pushout square in $\operatorname{\mathcal{C}}$ if and only if $\operatorname{N}_{\bullet }(\sigma )$ is a pushout square in the $\infty $-category $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$.
\[ \operatorname{N}_{\bullet }(\sigma ): \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \]
Warning 7.6.2.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a morphism, which we depict as a diagram Beware that, if $\sigma $ is a pullback square in the $\infty $-category $\operatorname{\mathcal{C}}$, then the associated diagram need not be a pullback square in the homotopy category $\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}$ (see Example 7.6.2.4 and Exercise 7.6.2.5). If $Y$ is an object of $\operatorname{\mathcal{C}}$, then the map of sets is surjective, but need not be injective. Given a commutative diagram in the homotopy category $\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}$, we can always find a morphism $g_{01}: Y \rightarrow X_{01}$ satisfying $g_{01}: Y \rightarrow X_{01}$ satisfying $[g_0] = [f'_0] \circ [g_{01}]$ and $[ g_1 ] = [ f'_1 ] \circ [ g_{01} ]$. However, the homotopy class $[g_{01}]$ is not uniquely determined: roughly speaking, to construct $g_{01}$, we need to lift (7.69) to a commutative diagram in the $\infty $-category $\operatorname{\mathcal{C}}$. Such a lift always exists (Exercise 1.5.2.10), but is not unique (even up to homotopy).
\[ \xymatrix@C =50pt@R=50pt{ X_{01} \ar [r]^-{g_0} \ar [d]^-{g_1} & X_0 \ar [d]^-{f_0} \\ X_1 \ar [r]^-{f_1} & X. } \]
\[ \xymatrix@C =50pt@R=50pt{ X_{01} \ar [r]^-{[g_0]} \ar [d]^-{[g_1]} & X_0 \ar [d]^-{[f_0]} \\ X_1 \ar [r]^-{[f_1]} & X } \]
\[ \operatorname{Hom}_{\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}}( Y, X_{01} ) \xrightarrow { ( [g_0], [g_1]) \circ } \operatorname{Hom}_{ \operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}}( Y, X_0) \times _{ \operatorname{Hom}_{\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}}( Y, X ) } \operatorname{Hom}_{\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}}(Y, X_1 ) \]
7.69
\begin{equation} \begin{gathered}\label{equation:pullback-not-preserved-by-homotopy} \xymatrix@C =50pt@R=50pt{ Y \ar [r]^-{[g_0]} \ar [d]^-{[g_1]} & X_0 \ar [d]^-{[f_0]} \\ X_1 \ar [r]^-{[f_1]} & X } \end{gathered} \end{equation}
Example 7.6.2.4. Let $q: X \rightarrow S$ be a Kan fibration between Kan complexes, let $s \in S$ be a vertex, and let $X_{s}$ denote the fiber $\{ s\} \times _{S} X$. Then the commutative diagram of simplicial sets is a homotopy pullback square (Example 3.4.1.3), and therefore induces a pullback square in the $\infty $-category $\operatorname{\mathcal{S}}= \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{Kan})$ (see Example 7.6.3.2). However, if $X$ is contractible and $X_{s}$ is not, then (7.70) is not a pullback square in the homotopy category $\operatorname {h}\! \mathit{\operatorname{Kan}}$.
7.70
\begin{equation} \begin{gathered}\label{equation:disagreement-of-fiber-products} \xymatrix@R =50pt@C=50pt{ X_{s} \ar [r] \ar [d] & X \ar [d]^-{q} \\ \{ s\} \ar [r] & S } \end{gathered} \end{equation}
Exercise 7.6.2.5. Let $G$ be a group and let $H \subseteq G$ be a commutative normal subgroup, so that we have a commutative diagram of Kan complexes
Show that (7.71) is a pullback diagram in the ordinary category of Kan complexes, and that it determines a pullback diagram in the $\infty $-category $\operatorname{\mathcal{S}}= \operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{Kan})$ (see Example 7.6.3.2).
Show that, if $H$ is contained in the center of $G$, then the diagram (7.71) is also pullback square in the homotopy category $\operatorname {h}\! \mathit{\operatorname{Kan}}$.
Show that, if $H$ is not contained in the center of $G$, then the diagram $B_{\bullet } G \rightarrow B_{\bullet } (G/H) \leftarrow \Delta ^0$ does not have a limit in the homotopy category $\operatorname {h}\! \mathit{\operatorname{Kan}}$. In particular, the diagram (7.71) is not a pullback square in $\operatorname {h}\! \mathit{\operatorname{Kan}}$.
7.71
\begin{equation} \begin{gathered}\label{equation:exact-sequence-pullback-square} \xymatrix@C =50pt@R=50pt{ B_{\bullet }H \ar [r] \ar [d] & B_{\bullet } G \ar [d] \\ \Delta ^0 \ar [r] & B_{\bullet }(G/H) } \end{gathered} \end{equation}
Proposition 7.6.2.6 (Pullbacks of Truncated Morphisms). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing a pullback diagram and let $n$ be an integer. If $f$ is $n$-truncated, then $f'$ is also $n$-truncated.
\[ \xymatrix@R =50pt@C=50pt{ X' \ar [d]^{f'} \ar [r] & X \ar [d]^{f} \\ Y' \ar [r] & Y } \]
Proof. Let $C \in \operatorname{\mathcal{C}}$ be an object. Applying Proposition 7.4.1.22, we obtain a pullback diagram
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(C,X') \ar [r] \ar [d]^{ \theta '} & \operatorname{Hom}_{\operatorname{\mathcal{C}}}(C,X) \ar [d]^{ \theta } \\ \operatorname{Hom}_{\operatorname{\mathcal{C}}}(C,Y') \ar [r] & \operatorname{Hom}_{\operatorname{\mathcal{C}}}(C,Y) } \]
in the $\infty $-category of spaces. Corollary 7.6.3.11 guarantees that if $\theta $ is $n$-truncated, then $\theta '$ is also $n$-truncated. Proposition 7.6.2.6 now follows by allowing the object $C$ to vary. $\square$
Remark 7.6.2.7 (Pullbacks of Monomorphisms). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing a commutative diagram where $f: X \rightarrow Y$ is a monomorphism. Then (7.72) is a pullback square if and only if the following conditions are satisfied:
The morphism $f': X' \rightarrow X'$ is also a monomorphism.
The diagram (7.72) determines a pullback square in the homotopy category $\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}$. That is, a morphism $g: C \rightarrow X'$ factors (up to homotopy) through $f'$ if and only if the $u \circ g$ factors (up to homotopy) through $f$.
7.72
\begin{equation} \begin{gathered}\label{equation:pullback-of-monomorphism} \xymatrix@R =50pt@C=50pt{ X' \ar [d]^{f'} \ar [r] & X \ar [d]^{f} \\ Y' \ar [r]^-{u} & Y, } \end{gathered} \end{equation}
In particular, the collection of monomorphisms in $\operatorname{\mathcal{C}}$ is closed under pullbacks.
Variant 7.6.2.8. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. We say that a diagram $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ is a $U$-pullback square if it is a $U$-limit diagram in $\operatorname{\mathcal{C}}$ (Definition 7.1.6.1). We say that $\sigma $ is a $U$-pushout square if it is a $U$-colimit diagram in the $\infty $-category $\operatorname{\mathcal{C}}$.
Remark 7.6.2.9. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square in $\operatorname{\mathcal{C}}$. Then $\sigma $ is a pullback square if and only if it is $U$-pullback square, where $U: \operatorname{\mathcal{C}}\rightarrow \Delta ^0$ is the projection map (see Example 7.1.6.3).
Remark 7.6.2.10 (Symmetry). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square in $\operatorname{\mathcal{C}}$, and let $\sigma ': \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ denote the commutative square which is obtained from $\sigma $ by precomposing with the automorphism of $\Delta ^1 \times \Delta ^1$ given by permuting the factors. Then $\sigma $ is a pullback square if and only if $\sigma '$ is a pullback square, and $\sigma $ is a pushout square if and only if $\sigma '$ is a pushout square. More generally, if $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a functor of $\infty $-categories, then $\sigma $ is a $U$-pullback square if and only if $\sigma '$ is a $U$-pullback square, and $\sigma $ is a $U$-pushout square if and only if $\sigma '$ is a $U$-pushout square.
Remark 7.6.2.11. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative diagram in $\operatorname{\mathcal{C}}$. Then $\sigma $ is a pushout diagram in $\operatorname{\mathcal{C}}$ if and only if the opposite diagram $\sigma ^{\operatorname{op}}: \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}$ is a pullback diagram in the $\infty $-category $\operatorname{\mathcal{C}}^{\operatorname{op}}$; here we implicitly identify the simplicial set $\Delta ^1 \times \Delta ^1$ with its opposite (beware that there are two possible identifications we could choose, but the choice does not matter by virtue of Remark 7.6.2.10). More generally, if $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a functor of $\infty $-categories, then $\sigma $ is a $U$-pushout diagram if and only if $\sigma ^{\operatorname{op}}$ is a $U^{\operatorname{op}}$-pullback diagram.
Remark 7.6.2.12. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma ,\sigma ': \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be square diagrams which are isomorphic (when viewed as objects of the $\infty $-category $\operatorname{Fun}( \Delta ^1 \times \Delta ^1, \operatorname{\mathcal{C}})$). Then $\sigma $ is a pullback square if and only if $\sigma '$ is a pullback square, and a pushout square if and only if $\sigma '$ is a pushout square. More generally, if $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a functor of $\infty $-categories, then $\sigma $ is a $U$-pullback square if and only if $\sigma '$ is a $U$-pullback square, and $\sigma $ is a $U$-pushout square if and only if $\sigma '$ is a $U$-pushout square (see Proposition 7.1.6.9).
Notation 7.6.2.13 (Fiber Products). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, and suppose we are given a pair of morphisms $f_0: X_0 \rightarrow X$ and $f_1: X_1 \rightarrow X$ of $\operatorname{\mathcal{C}}$ having the same target. It follows from Proposition 7.1.1.13 that if there exists a pullback diagram in $\operatorname{\mathcal{C}}$, then the object $X_{01}$ is determined up to isomorphism by $f_0$ and $f_1$. To emphasize this, we will often denote the object $X_{01}$ by $X_0 \times _{X} X_1$ and refer to it as the fiber product of $X_0$ with $X_1$ over $X$. Similarly, if there exists a pushout diagram in $\operatorname{\mathcal{C}}$, then the object $Y_{01}$ is determined up to isomorphism by $g_0$ and $g_1$. To emphasize this, we often denote the object $Y_{01}$ by $Y_{0} {\coprod }_{ Y} Y_1$ and refer to it as the pushout of $Y_0$ with $Y_1$ along $Y$.
\[ \xymatrix@R =50pt@C=50pt{ X_{01} \ar [r] \ar [d] & X_0 \ar [d]^-{f_0} \\ X_1 \ar [r]^-{f_1} & X } \]
\[ \xymatrix@R =50pt@C=50pt{ Y \ar [r]^-{g_0} \ar [d]^-{g_1} & Y_0 \ar [d] \\ Y_1 \ar [r] & Y_{01} } \]
Definition 7.6.2.14. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We will say that $\operatorname{\mathcal{C}}$ admits pullbacks if, for every pair of morphisms $f_0: X_0 \rightarrow X$ and $f_1: X_1 \rightarrow X$ having the same target, there exists a pullback diagram We say that a functor $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ preserves pullbacks if, for every pullback square $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ in the $\infty $-category $\operatorname{\mathcal{C}}$, the composition $(F \circ \sigma ): \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{D}}$ is a pullback square in the $\infty $-category $\operatorname{\mathcal{D}}$. We say that $\operatorname{\mathcal{C}}$ admits pushouts if, for every pair of morphisms $g_0: Y \rightarrow Y_0$ and $g_1: Y \rightarrow Y_1$ having the same source, there exists a pushout diagram We say that a functor $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ preserves pushouts if, for every pushout square $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ in the $\infty $-category $\operatorname{\mathcal{C}}$, the composition $(F \circ \sigma ): \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{D}}$ is a pushout square in the $\infty $-category $\operatorname{\mathcal{D}}$.
\[ \xymatrix@R =50pt@C=50pt{ X_{01} \ar [r] \ar [d] & X_0 \ar [d]^-{f_0} \\ X_1 \ar [r]^-{f_1} & X. } \]
\[ \xymatrix@R =50pt@C=50pt{ Y \ar [r]^-{g_0} \ar [d]^-{g_1} & Y_0 \ar [d] \\ Y_1 \ar [r] & Y_{01}. } \]
Remark 7.6.2.15. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a right fibration of $\infty $-categories, and suppose that $\operatorname{\mathcal{D}}$ admits pullbacks. Then $\operatorname{\mathcal{C}}$ also admits pullbacks, and the functor $U$ preserves pullbacks. See Corollary 7.1.7.5.
Proposition 7.6.2.16. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square, which we represent by a diagram Then $\sigma $ is a pullback diagram in $\operatorname{\mathcal{C}}$ if and only if it exhibits $X_{01}$ as a product of $X_0$ with $X_1$ in the slice $\infty $-category $\operatorname{\mathcal{C}}_{/X}$.
\[ \xymatrix@R =50pt@C=50pt{ X_{01} \ar [r] \ar [d] & X_0 \ar [d] \\ X_1 \ar [r] & X. } \]
Proof. This is a special case of Remark 7.1.3.16. $\square$
Remark 7.6.2.17. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$, and let $\sigma $ denote the composite map which we depict as a diagram Then $f$ is a monomorphism if and only if $\sigma $ is a pullback square in $\operatorname{\mathcal{C}}$. By virtue of Proposition 7.6.2.16, this follows from Remarks 4.7.5.16 and 7.6.1.11.
\[ \Delta ^1 \times \Delta ^1 \xrightarrow { (i,j) \mapsto ij } \Delta ^1 \xrightarrow {u} \operatorname{\mathcal{C}}, \]
\[ \xymatrix@R =50pt@C=50pt{ X \ar [r]^-{\operatorname{id}} \ar [d]^{\operatorname{id}} & X \ar [d]^{f} \\ X \ar [r]^-{f} & Y. } \]
Variant 7.6.2.18. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and suppose we are given a commutative diagram in $\operatorname{\mathcal{C}}$. If $u$ is a monomorphism, then the upper left square is a pullback diagram if and only if the outer square is a pullback diagram. This follows from Corollary 7.1.4.17 (combined with the characterization of pullback diagrams supplied by Proposition 7.6.2.16).
\[ \xymatrix@R =50pt@C=50pt{ X_{\pm } \ar [r] \ar [d] & X_{+} \ar [d] \ar [ddr] & \\ X_{-} \ar [r] \ar [drr] & X \ar [dr]^{u} & \\ & & Y } \]
Proposition 7.6.2.19. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let be a pullback diagram in $\operatorname{\mathcal{C}}$. If the object $X$ is discrete, then (7.73) determines a pullback diagram in the homotopy category $\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}}$.
7.73
\begin{equation} \begin{gathered}\label{equation:pullback-over-discrete} \xymatrix@R =50pt@C=50pt{ X_{01} \ar [r] \ar [d] & X_0 \ar [d] \\ X_1 \ar [r] & X } \end{gathered} \end{equation}
Beware that the conclusion of Proposition 7.6.2.19 is generally false if we do not assume that the object $X$ is discrete (see Warning 7.6.2.3).
Proof of Proposition 7.6.2.19. By virtue of Proposition 7.6.2.16, it will suffice to show that the tautological map $F: \operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{N}_{\bullet }(\operatorname {h}\! \mathit{\operatorname{\mathcal{C}}})_{/X}$ preserves products. Since $X$ is discrete, we can use Example 4.7.9.24 to identify $F$ with the canonical map from $\operatorname{\mathcal{C}}_{/X}$ to (the nerve of) its homotopy category, which always preserves products (see Warning 7.6.1.14). $\square$
From the criterion of Remark 7.6.2.17, we immediately obtain the following:
Proposition 7.6.2.20. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories which preserves pullbacks. Then $F$ carries monomorphisms in $\operatorname{\mathcal{C}}$ to monomorphisms in $\operatorname{\mathcal{D}}$.
Remark 7.6.2.21. In the statement of Proposition 7.6.2.20, it is not necessary to assume that the $\infty $-categories $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ admit pullbacks (we only need to know that $F$ preserves those pullback squares which exist in $\operatorname{\mathcal{C}}$).
Notation 7.6.2.22 (Relative Diagonals). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: Y \rightarrow X$ be a morphism in $\operatorname{\mathcal{C}}$. Suppose that there exists a pullback square in the $\infty $-category $\operatorname{\mathcal{C}}$. Let us abuse notation by identifying $Y$ with an object of the slice $\infty $-category $\operatorname{\mathcal{C}}_{/X}$, so that $Y \times _{X} Y$ can be viewed as a product of $Y$ with itself in $\operatorname{\mathcal{C}}_{/X}$ (Proposition 7.6.2.16). Applying the construction of Notation 7.6.1.15, we obtain a morphism $\delta _{Y/X}: Y \rightarrow Y \times _{X} Y$, which we will refer to as the relative diagonal of $f$. It is characterized (up to homotopy) by the requirement that ( 7.74) can be extended to a commutative diagram where the outer square is the commutative diagram given by the composition
7.74
\begin{equation} \begin{gathered}\label{equation:relative-diagonal} \xymatrix@R =50pt@C=50pt{ Y \times _{X} Y \ar [r]^-{ \pi } \ar [d]^{\pi '} & Y \ar [d]^{f} \\ Y \ar [r]^-{f} & X } \end{gathered} \end{equation}
\[ \xymatrix@R =50pt@C=50pt{ Y \ar [dr]^{ \delta _{Y/X} } \ar [drr]^{\operatorname{id}_ Y} \ar [ddr]^{ \operatorname{id}_{Y} } & & \\ & Y \times _{X} Y \ar [r]^-{\pi } \ar [d]^{\pi '} & Y \ar [d]^{f} \\ & Y \ar [r]^-{f} & X, } \]
\[ \Delta ^1 \times \Delta ^1 \xrightarrow {(i,j) \mapsto ij} \Delta ^1 \xrightarrow {f} \operatorname{\mathcal{C}}. \]
Variant 7.6.2.23 (Relative Codiagonals). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $f: Y \rightarrow X$ be a morphism of $\operatorname{\mathcal{C}}$, and suppose that there exists a pushout square Applying the construction of Notation 7.6.2.22 in the opposite $\infty $-category $\operatorname{\mathcal{C}}^{\operatorname{op}}$, we obtain a morphism $\gamma _{Y/X}: X \coprod _{Y} X \rightarrow X$ which we will refer to as the relative codiagonal of the morphism $f$.
\[ \xymatrix@R =50pt@C=50pt{ Y \ar [r]^-{f} \ar [d]^{f} & X \ar [d] \\ X \ar [r] & X \coprod _{Y} X. } \]
Stated more informally, a fiber product $X_0 \times _{ X } X_1$ (formed in an $\infty $-category $\operatorname{\mathcal{C}}$) is a product of $X_0$ with $X_1$ in the $\infty $-category $\operatorname{\mathcal{C}}_{/X}$.
Corollary 7.6.2.24. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then $\operatorname{\mathcal{C}}$ admits pullbacks if and only if, for each object $X \in \operatorname{\mathcal{C}}$, the slice $\infty $-category $\operatorname{\mathcal{C}}_{/X}$ admits finite products.
Proof. By virtue of Proposition 7.6.2.16, the $\infty $-category $\operatorname{\mathcal{C}}$ admits pullbacks if and only if, for every object $X \in \operatorname{\mathcal{C}}$, the $\infty $-category $\operatorname{\mathcal{C}}_{/X}$ admits pairwise products. Since $\operatorname{\mathcal{C}}_{/X}$ has an initial object (given by the identity morphism $\operatorname{id}_{X}: X \rightarrow X$; see Proposition 4.7.3.20), this is equivalent to the requirement that $\operatorname{\mathcal{C}}_{/X}$ admits finite products (Corollary 7.6.1.26). $\square$
Remark 7.6.2.25. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between $\infty $-categories, where $\operatorname{\mathcal{C}}$ admits pullbacks. Then $F$ preserves pullbacks if and only if, for each object $X \in \operatorname{\mathcal{C}}$, the induced functor $\operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{\mathcal{D}}_{ / F(X) }$ preserves finite products.
Remark 7.6.2.26. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits fiber products. Then, for every object $X \in \operatorname{\mathcal{C}}$, the slice $\infty $-category $\operatorname{\mathcal{C}}_{/X}$ admits finite products (Corollary 7.6.2.24). Let $\operatorname{Sub}(X)$ denote the collection of isomorphism classes of subobjects of $X$ (Notation 4.7.5.20). Then $\operatorname{Sub}(X)$ is a lower semilattice: that is, it has a largest element (given by the isomorphism class $[X]$) and every pair of objects $[X_0], [X_1] \in \operatorname{Sub}(X)$ has a greatest lower bound $[X_0] \cap [X_1]$ in $\operatorname{Sub}(X)$, given concretely by the isomorphism class of the fiber product $[X_0 \times _{X} X_1]$.
Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits pullbacks. Stated more informally, Remark 7.6.2.17 asserts that a morphism $f: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$ is a monomorphism if and only if the relative diagonal $\delta _{X/Y}: X \rightarrow X \times _{Y} X$ is an isomorphism. This is a special case of the following:
Corollary 7.6.2.27. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $n \geq -1$ be an integer, and let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$ for which there exists a fiber product $X \times _{Y} X$. Then $f$ is $n$-truncated if if and only if the relative diagonal $\delta _{X/Y}: X \rightarrow X \times _{Y} X$ is $(n-1)$-truncated (see Notation 7.6.2.22).
Proof. Let us identify the morphism $f$ with an object $\overline{X}$ of the slice $\infty $-category $\operatorname{\mathcal{C}}_{/Y}$. By virtue of Proposition 7.6.2.16, there exists a product $\overline{X} \times \overline{X}$ in the $\infty $-category $\operatorname{\mathcal{C}}_{/Y}$, whose image in $\operatorname{\mathcal{C}}$ is the fiber product $X \times _{Y} X$. Moreover, the relative diagonal $\delta _{X/Y}$ can be identified with the image of the diagonal map $\delta _{ \overline{X} }: \overline{X} \rightarrow \overline{X} \times \overline{X}$ under the forgetful functor $\operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}$. Applying Corollary 4.7.2.9, we see that $\delta _{X/Y}$ is an $(n-1)$-truncated morphism of $\operatorname{\mathcal{C}}$ if and only if $\delta _{ \overline{X}}$ is an $(n-1)$-truncated morphism of $\operatorname{\mathcal{C}}_{/Y}$. By virtue of Proposition 7.6.1.16, this is equivalent to the requirement that $\overline{X}$ is $n$-truncated as an object of $\operatorname{\mathcal{C}}_{/Y}$. The desired result now follows from the criterion of Proposition 4.7.2.7. $\square$
Example 7.6.2.28. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X \rightarrow Y$ be a morphism in $\operatorname{\mathcal{C}}$. In the case $n = -1$, Corollary 7.6.2.27 asserts that $f$ is a monomorphism (in the sense of Definition 4.7.5.1) if and only if the diagram is a pullback square. This can also be viewed as a special case of Proposition 7.1.3.15.
\[ \xymatrix@R =50pt@C=50pt{ X \ar [r]^-{f} \ar [d]^{f} & Y \ar [d]^{ \operatorname{id}} \\ Y \ar [r]^-{\operatorname{id}} & Y } \]
The following is a slight variant of Remark 7.1.4.10:
Corollary 7.6.2.29. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Suppose that $\operatorname{\mathcal{C}}$ admits pullbacks and that the functor $F$ preserves pullbacks. Then, for every integer $n$, the functor $F$ carries $n$-truncated morphisms of $\operatorname{\mathcal{C}}$ to $n$-truncated morphisms of $\operatorname{\mathcal{D}}$.
Proof. For $n \leq -2$, a morphism is $n$-truncated if and only if it is an isomorphism (Example 4.7.2.5), so the desired result follows from Remark 1.5.1.6. The general case follows by induction on $n$, using Corollary 7.6.2.27. $\square$
Corollary 7.6.2.30. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square, which we represent by a diagram Suppose that ${\bf 1}$ is a final object of $\operatorname{\mathcal{C}}$. Then $\sigma $ is a pullback square if and only if the morphisms $f_0$ and $f_1$ exhibit $X$ as a product of $X_0$ with $X_1$ in the $\infty $-category $\operatorname{\mathcal{C}}$.
\[ \xymatrix@R =50pt@C=50pt{ X \ar [r]^-{f_0} \ar [d]^-{f_1} & X_0 \ar [d] \\ X_1 \ar [r] & \mathbf{1}. } \]
Proof. The assumption that ${\bf 1}$ is final guarantees that the projection map $\operatorname{\mathcal{C}}_{ / {\bf 1} } \rightarrow \operatorname{\mathcal{C}}$ is a trivial Kan fibration (Corollary 4.7.3.12), so that the desired result follows from the criterion of Proposition 7.6.2.16. $\square$
It will sometimes be convenient to work with an alternative characterization of fiber products. Recall that, if $\operatorname{\mathcal{C}}$ is an $\infty $-category, then the evaluation functor
\[ \operatorname{ev}_{1}: \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}\quad \quad (f: X \rightarrow Y) \mapsto Y \]
is a cocartesian fibration (Example 5.3.7.6), whose fiber over each object $X \in \operatorname{\mathcal{C}}$ is the oriented fiber product $\operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ X\} $ (which is equivalent to the slice $\infty $-category $\operatorname{\mathcal{C}}_{/X}$).
Proposition 7.6.2.31. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $\operatorname{ev}_{1}: \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$ be the functor given by evaluation at the vertex $1 \in \Delta ^1$, and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a diagram, which we display informally as be a diagram in $\operatorname{\mathcal{C}}$. The following conditions are equivalent:
The diagram $\sigma $ is a pullback square (Definition 7.6.2.1).
Let $u: f' \rightarrow f$ be the morphism in $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})$ determined by $\sigma $. Then $u$ is $\operatorname{ev}_{1}$-cartesian.
The morphism $u: f' \rightarrow f$ is locally $\operatorname{ev}_{1}$-cartesian.
\[ \xymatrix@R =50pt@C=50pt{ X' \ar [r]^-{g'} \ar [d]^{f'} & X \ar [d]^{f} \\ Y' \ar [r]^-{g} & Y } \]
Remark 7.6.2.32. In the formulation of Proposition 7.6.2.31, the diagram $\sigma $ can also be viewed as a morphism $v: g' \rightarrow g$ in the $\infty $-category $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$ (by interchanging the factors of $\Delta ^1 \times \Delta ^1$). Combining Proposition 7.6.2.31 with Remark 7.6.2.10, we see that $u$ is $\operatorname{ev}_{1}$-cartesian if and only if $v$ is $\operatorname{ev}_{1}$-cartesian.
Proof of Proposition 7.6.2.31. Since the evaluation functor $\operatorname{ev}_{1}: \operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$ is a cocartesian fibration (Example 5.3.7.6), the equivalence $(2) \Leftrightarrow (3)$ is a special case of Lemma 6.2.5.6. We will prove that $(1) \Leftrightarrow (2)$. Let $K$ denote the nerve of the partially ordered set $\{ (0,1) < (1,1) > (1,0) \} $, which we regard as a full subcategory of $\Delta ^1 \times \Delta ^1$, and let $U: \operatorname{Fun}( \Delta ^1 \times \Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{Fun}(K, \operatorname{\mathcal{C}})$ be the restriction map. Then $\sigma $ is a pullback diagram in $\operatorname{\mathcal{C}}$ if and only if it is $U$-final when viewed as an object of the $\infty $-category $\operatorname{Fun}( \Delta ^1 \times \Delta ^1, \operatorname{\mathcal{C}})$ (Corollary 7.1.6.16). Unwinding the definitions, we have a pullback diagram of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}}) \vec{\times }_{ \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}) } \{ f \} \ar [r] \ar [d]^{U_0} & \operatorname{Fun}( \Delta ^1 \times \Delta ^1, \operatorname{\mathcal{C}}) \ar [d]^{U} \\ \operatorname{\mathcal{C}}\vec{\times }_{ \operatorname{\mathcal{C}}} \{ Y\} \ar [r] & \operatorname{Fun}(K, \operatorname{\mathcal{C}}), } \]
and the morphism $u$ is $\operatorname{ev}_{1}$-cartesian if and only if it is $U_0$-final when viewed as an object of the $\infty $-category $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}}) \vec{\times }_{ \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}) } \{ f \} $ (Example 7.1.7.2). The equivalence $(1) \Leftrightarrow (2)$ now follows from the criterion of Corollary 7.1.5.21, since $U$ is a cocartesian fibration (Corollary 5.3.7.5). $\square$
Definition 7.6.2.33. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$. We will say that a functor $f^{\ast }: \operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}_{/X}$ is given by pullback along $f$ if it is a right adjoint to the functor $\operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{\mathcal{C}}_{/Y}$ given by postcomposition with $f$ (see Example 4.3.6.15). Note that this condition characterizes the functor $f^{\ast }$ up to isomorphism (see Remark 6.2.1.19).
Variant 7.6.2.34. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$. By virtue of Example 5.3.7.6, the evaluation functor $\operatorname{ev}_1: \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$ is a cocartesian fibration of $\infty $-categories, and therefore determines a covariant transport functor We say that a functor is given by pullback along $f$ if it is right adjoint to the functor $f_{!}$. By virtue of Proposition 5.3.7.7, this is equivalent to the existence of a homotopy commutative diagram where the vertical maps are the pinch inclusion equivalences of Corollary 4.6.4.20 and the upper horizontal map is given by pullback along $f$ (in the sense of Definition 7.6.2.33).
\[ f_{!}: \operatorname{\mathcal{C}}\vec{\times }_{ \operatorname{\mathcal{C}}} \{ X\} \rightarrow \operatorname{\mathcal{C}}\vec{\times }_{ \operatorname{\mathcal{C}}} \{ Y\} . \]
\[ f^{\ast }: \operatorname{\mathcal{C}}\vec{\times }_{ \operatorname{\mathcal{C}}} \{ Y\} \rightarrow \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ X\} \]
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}_{/Y} \ar@ {-->}[r] \ar [d]^{ \delta _{/Y} }_{\sim } & \operatorname{\mathcal{C}}_{ / X} \ar [d]^{ \delta _{/X} }_{\sim } \\ \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ Y\} \ar [r]^-{ f^{\ast } } & \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ X\} , } \]
Proposition 7.6.2.35. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$. The following conditions are equivalent:
There exists a functor $f^{\ast }: \operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}_{/X}$ given by pullback along $f$ (in the sense of Definition 7.6.2.33).
There exists a functor $f^{\ast }: \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ Y\} \rightarrow \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ X\} $ given by pullback along $f$ (in the sense of Variant 7.6.2.34).
The left vertical map of the pullback square
is a cartesian fibration of $\infty $-categories.
For every morphism $u: Y' \rightarrow Y$, there exists a pullback diagram
in the $\infty $-category $\operatorname{\mathcal{C}}$.
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \Delta ^1 \ar [r] \ar [d] & \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}) \ar [d]^{ \operatorname{ev}_1 } \\ \Delta ^{1} \ar [r]^-{f} & \operatorname{\mathcal{C}}} \]
\[ \xymatrix@R =50pt@C=50pt{ X' \ar [r] \ar [d] & Y' \ar [d]^{u} \\ X \ar [r]^-{f} & Y } \]
Moreover, if these conditions are satisfied, then both pullback functors are given on objects by the construction $Y' \mapsto X \times _{Y} Y'$.
Proof. The equivalence $(1) \Leftrightarrow (2)$ follows from Proposition 5.3.7.7, the equivalence $(2) \Leftrightarrow (3)$ from Proposition 6.2.5.4, and the equivalence $(3) \Leftrightarrow (4)$ from Propositions 7.6.2.31. $\square$
Remark 7.6.2.36 (Inverse Images). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits fiber products and let $f: X \rightarrow Y$ be a morphism in $\operatorname{\mathcal{C}}$. Then the pullback functor $f^{\ast }: \operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}_{/X}$ $f^{\ast }$ has a left adjoint, and therefore carries subterminal objects of $\operatorname{\mathcal{C}}_{/X}$ to subterminal objects of $\operatorname{\mathcal{C}}_{/Y}$ (Corollary 6.2.1.21). Passing to isomorphism classes, we obtain a nondecreasing function of partially ordered sets $f^{-1}: \operatorname{Sub}(Y) \rightarrow \operatorname{Sub}(X)$, given concretely by the formula $f^{-1} [Y_0] = [ Y_0 \times _{Y} X ]$. Since the functor $f^{\ast }$ preserves products, $f^{-1}$ is a homomorphism of lower semilattices: that is, it satisfies the identities
\[ f^{-1}( [Y_0] \cap [Y_1] ) = f^{-1}([Y_0]) \cap f^{-1}( [Y_1] ) \quad \quad f^{-1}([Y]) = [X]. \]
Corollary 7.6.2.37. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. The following conditions are equivalent:
For every morphism $f: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$, the composition functor
of Example 4.3.6.15 admits a right adjoint.
For every morphism $f: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$, the composition functor
admits a right adjoint.
The evaluation functor $\operatorname{ev}_{1}: \operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$ is a locally cartesian fibration of $\infty $-categories.
The evaluation functor $\operatorname{ev}_{1}: \operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$ is a cartesian fibraton of $\infty $-categories.
The $\infty $-category $\operatorname{\mathcal{C}}$ admits pullbacks.
\[ \operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{\mathcal{C}}_{/Y} \quad \quad e \mapsto (f \circ e) \]
\[ \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ X\} \rightarrow \operatorname{\mathcal{C}}\vec{\times }_{\operatorname{\mathcal{C}}} \{ Y\} \quad \quad e \mapsto (f \circ e) \]
Proof. The equivalences $(1) \Leftrightarrow (2) \Leftrightarrow (3) \Leftrightarrow (4)$ follow from Proposition 7.6.2.35 by allowing the morphism $f$ to vary. The equivalence of $(3)$ and $(3')$ follows from Proposition 7.6.2.31. $\square$
Proposition 7.6.2.38. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square, represented informally by the diagram Then:
If $f$ is $U$-cartesian, then $\sigma $ is a $U$-pullback square if and only if $f'$ is also $U$-cartesian.
If $f'$ is $U$-cocartesian, then $\sigma $ is a $U$-pushout square if and only if $f$ is also $U$-cocartesian.
\[ \xymatrix@R =50pt@C=50pt{ X' \ar [r]^-{f'} \ar [d] & Y' \ar [d] \\ X \ar [r]^-{f} & Y. } \]
Proof. We will prove $(1)$; the proof of $(2)$ is similar. Note that $\sigma $ restricts to a diagram
\[ \sigma _0: \operatorname{N}_{\bullet }( \{ (0,1) < (1,1) > (1,0) \} ) \rightarrow \operatorname{\mathcal{C}} \]
satisfying $\sigma _0( 0,1) = X$, $\sigma _0( 1,1) = Y$, and $\sigma _0( 1,0 ) = Y'$. The assumption that $f$ is $U$-cartesian guarantees that $\sigma _0$ is $U$-right Kan extended from the full subcategory
\[ \{ 1\} \times \Delta ^1 \subseteq \operatorname{N}_{\bullet }( \{ (0,1) < (1,1) > (1,0) \} ). \]
It follows that $\sigma $ is a $U$-pullback diagram if and only if the restriction $\sigma |_{ \operatorname{N}_{\bullet }( \{ (0,0) < (1,0) < (1,1) \} )}$ is a $U$-limit diagram (Proposition 7.3.8.1) By virtue of Corollary 7.2.2.5, this is equivalent to the requirement that $f'$ is $U$-cartesian. $\square$
Corollary 7.6.2.39. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\sigma : \Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be a commutative square, represented informally by the diagram Then:
If $f$ is an isomorphism, then $\sigma $ is a pullback square if and only if $f'$ is also an isomorphism.
If $f'$ is an isomorphism, then $\sigma $ is a pushout square if and only if $f$ is also an isomorphism.
\[ \xymatrix@R =50pt@C=50pt{ X' \ar [r]^-{f'} \ar [d] & Y' \ar [d] \\ X \ar [r]^-{f} & Y. } \]
Proof. Combine Proposition 7.6.2.38 with Remark 7.6.2.9 (and Example 5.1.1.4). $\square$
Proposition 7.6.2.40 (Transitivity). Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $\sigma : \Delta ^2 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$ be diagram, which we depict informally as Then:
Assume that the right square of (7.75) is a $U$-pullback. Then the left square is a $U$-pullback diagram if and only if the outer rectangle is a $U$-pullback diagram.
Assume that the left square of (7.75) is a $U$-pushout. Then the left square is a $U$-pushout diagram if and only if the outer rectangle is a $U$-pushout diagram.
7.75
\begin{equation} \begin{gathered}\label{equation:transitivity-pullback-square} \xymatrix@R =50pt@C=50pt{ X' \ar [r] \ar [d] & Y' \ar [r] \ar [d] & Z' \ar [d] \\ X \ar [r] & Y \ar [r] & Z. } \end{gathered} \end{equation}
Proof. We will prove $(1)$; the proof of $(2)$ is similar. Let $A$ denote the partially ordered set $([2] \times [1] ) \setminus \{ (0,0) \} $. Note that the inclusion maps
\[ A \setminus \{ (2,0), (2,1) \} \hookrightarrow A \quad \quad A \setminus \{ (1,0), (1,1) \} \hookrightarrow A \setminus \{ (1,0) \} \]
admit right adjoints, and therefore induce left cofinal morphisms
\[ \operatorname{N}_{\bullet }( A \setminus \{ (2,0), (2,1) \} ) \hookrightarrow \operatorname{N}_{\bullet }(A) \quad \quad \operatorname{N}_{\bullet }( A \setminus \{ (1,0), (1,1) \} ) \hookrightarrow \operatorname{N}_{\bullet }(A \setminus \{ (1,0) \} ) \]
(Corollary 7.2.3.7). Applying Corollary 7.2.2.2, we obtain the following:
The left square of (7.75) is a $U$-pullback diagram if and only if $\sigma $ is a $U$-limit diagram.
The outer rectangle of (7.75) is a $U$-pullback diagram if and only if the restriction $\sigma |_{ \operatorname{N}_{\bullet }( ([2] \times [1] ) \setminus \{ (1,0) \} )}$ is a $U$-limit diagram.
If the right square of (7.75) is a $U$-pullback diagram, then $\sigma |_{\operatorname{N}_{\bullet }(A)}$ is $U$-right Kan extended from $\sigma |_{ \operatorname{N}_{\bullet }( A \setminus \{ (1,0) \} )}$, so the desired equivalence follows from Proposition 7.3.8.1. $\square$
Proposition 7.6.2.41 (Rewriting Limits as Pullbacks). Suppose we are given a categorical pushout square of simplicial sets Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits pullbacks. If $\operatorname{\mathcal{C}}$ admits $K$-indexed limits, $K_0$-indexed limits, and $K_1$-indexed limits, then it also admits $K_{01}$-indexed limits. Moreover, if $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a functor of $\infty $-categories which preserves pullback squares, $K$-indexed limits, $K_0$-indexed limits, and $K_1$-indexed limits, then $F$ also preserves $K$-indexed limits.
\[ \xymatrix@R =50pt@C=50pt{ K \ar [r] \ar [d] & K_0 \ar [d] \\ K_1 \ar [r] & K_{01}. } \]
Proof. Combine Corollary 7.5.8.5 with (the dual of) Corollary 7.5.8.13. $\square$
Corollary 7.6.2.42. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then $\operatorname{\mathcal{C}}$ admits finite limits if and only if it admits pullbacks and has a final object. If these conditions are satisfied, then a functor $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ preserves finite limits if and only if it preserves pullbacks and final objects.
Proof. We will prove the first assertion; the second follows by a similar argument. Assume that the $\infty $-category $\operatorname{\mathcal{C}}$ admits pullbacks and has a final object; we wish to show that $\operatorname{\mathcal{C}}$ admits $K$-indexed limits for every finite simplicial set $K$ (the converse is immediate from the definitions). We proceed by induction on the dimension of $K$. If $K$ is empty, then the desired result follows from our assumption that $\operatorname{\mathcal{C}}$ has a final object. Let us therefore assume that $K$ has dimension $n \geq 0$, and proceed also by induction on the number of nondegenerate $n$-simplices of $K$. It follows from Proposition 1.1.4.12 that there exists a pushout square of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\partial \Delta }^ n \ar [r] \ar [d] & \Delta ^ n \ar [d] \\ K' \ar [r] & K, } \]
where $K'$ is a simplicial subset of $K$. Since the horizontal maps are monomorphisms, this pushout square is also a categorical pushout square (Example 4.5.5.12). By virtue of Proposition 7.6.2.41, it will suffice to show that the $\infty $-category $\operatorname{\mathcal{C}}$ admits $K'$-indexed limits, $\operatorname{\partial \Delta }^{n}$-indexed limits, and $\Delta ^{n}$-indexed limits. In the first two cases, this follows from our inductive hypothesis. To handle the third case, we observe that the inclusion $\{ 0\} \hookrightarrow \Delta ^ n$ is left cofinal (Example 4.3.7.11). Using Corollary 7.2.2.12, we are reduced to proving that $\operatorname{\mathcal{C}}$ admits $\Delta ^0$-indexed limits, which is immediate (see Example 7.1.1.6). $\square$
Example 7.6.2.43. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits pullbacks. Then, for every object $X \in \operatorname{\mathcal{C}}$, the slice $\infty $-category $\operatorname{\mathcal{C}}_{/X}$ admits finite limits. This follows from Corollary 7.6.2.42, since $\operatorname{\mathcal{C}}_{/X}$ also admits finite pullbacks (Remark 7.6.2.15), and has a final object given by the identity morphism $\operatorname{id}_{X}: X \rightarrow X$ (Proposition 4.7.3.20). Similarly, if $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a functor which preserves pullbacks, then the induced functor $F_{/X}: \operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{\mathcal{D}}_{ /F(X)}$ preserves finite limits.