# Kerodon

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

Corollary 7.6.3.27. 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.4.12). By virtue of Proposition 7.6.3.26, 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.5). $\square$