Definition 9.3.1.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. We say that an object $X \in \operatorname{\mathcal{C}}$ is $n$-truncated if, for every object $Y \in \operatorname{\mathcal{C}}$, the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,X)$ is an $n$-truncated Kan complex.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
9.3.1 Truncated Objects
Let $n$ be an integer. Recall that a Kan complex $X$ is $n$-truncated if, for every integer $m \geq n+2$, every morphism $\operatorname{\partial \Delta }^{m} \rightarrow X$ can be extended to an $m$-simplex of $X$. We now introduce a counterpart of this condition for objects of an arbitrary $\infty $-category.
Remark 9.3.1.2. In the formulation of Definition 9.3.1.1, we can replace $M = \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,X)$ by any Kan complex which is homotopy equivalent $M$. For example, we can replace $M$ by the pinched morphism spaces $\operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{L}}(Y,X)$ and $\operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{R}}(Y,X)$ (see Proposition 4.6.5.10).
Example 9.3.1.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. For $n \leq -2$, an object $X \in \operatorname{\mathcal{C}}$ is $n$-truncated if and only if it is a final object of $\operatorname{\mathcal{C}}$ (Definition 4.6.7.1). In particular, this condition is independent of $n$, so long as $n \leq -2$. Consequently, in the setting of Definition 9.3.1.1, there is no loss of generality in assuming that $n \geq -2$.
Example 9.3.1.4. Let $X$ be a Kan complex and let $n$ be an integer. The following conditions are equivalent:
The Kan complex $X$ is $n$-truncated, in the sense of Definition 3.5.7.1.
For every Kan complex $Y$, the Kan complex $\operatorname{Fun}(Y,X)$ is $n$-truncated.
For every simplicial set $Y$, the Kan complex $\operatorname{Fun}(Y, X)$ is $n$-truncated.
The Kan complex $X$ is $n$-truncated when regarded as an object of the $\infty $-category $\operatorname{\mathcal{S}}$ (in the sense of Definition 9.3.1.1).
The implications $(3) \Rightarrow (2) \Rightarrow (1)$ are immediate, the implication $(1) \Rightarrow (3)$ follows from Corollary 3.5.9.28, and the equivalence $(2) \Leftrightarrow (4)$ follows from the homotopy equivalence $\operatorname{Fun}(Y,X) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{S}}}(Y,X)$ of Remark 5.5.1.5.
Remark 9.3.1.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, and let $X$ and $Y$ be objects of $\operatorname{\mathcal{C}}$. If $X$ is $n$-truncated and $Y$ is a retract of $X$, then $Y$ is also $n$-truncated. In particular, if $X$ and $Y$ are isomorphic, then $X$ is $n$-truncated if and only if $Y$ is $n$-truncated.
Remark 9.3.1.6. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories, let $n$ be an integer, and let $X \in \operatorname{\mathcal{C}}$ be an object whose image $F(X)$ is an $n$-truncated object of $\operatorname{\mathcal{D}}$. If the functor $F$ is essentially $(n+1)$-categorical (Definition 4.8.6.1), then $X$ is an $n$-truncated object of $\operatorname{\mathcal{C}}$ (see Proposition 3.5.9.13). In particular, if $F$ is fully faithful, then $X$ is an $n$-truncated object of $\operatorname{\mathcal{C}}$.
Remark 9.3.1.7. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an equivalence of $\infty $-categories. Then an object $X \in \operatorname{\mathcal{C}}$ is $n$-truncated if and only if the image $Y = F(X)$ is an $n$-truncated object of $\operatorname{\mathcal{D}}$. The “if” direction follows from Remark 9.3.1.6. For the converse, suppose that $X$ is $n$-truncated and let $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}$ be a homotopy inverse to $F$. Then $G(Y) \in \operatorname{\mathcal{C}}$ is isomorphic to $X$, and is therefore an $n$-truncated object of $\operatorname{\mathcal{C}}$ (Remark 9.3.1.5). Since $G$ is fully faithful, Remark 9.3.1.6 guarantees that $Y$ is an $n$-truncated object of $\operatorname{\mathcal{D}}$.
Remark 9.3.1.8. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. Then $\operatorname{\mathcal{C}}$ is locally $n$-truncated (in the sense of Definition 4.8.2.1) if and only if every object $X \in \operatorname{\mathcal{C}}$ is $n$-truncated (in the sense of Definition 9.3.1.1).
Remark 9.3.1.9 (Monotonicity). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $m \leq n$ be integer. If an object $X \in \operatorname{\mathcal{C}}$ is $m$-truncated, then it is also $n$-truncated (see Remark 3.5.9.6).
Remark 9.3.1.10. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $X$ be an object of $\operatorname{\mathcal{C}}$, and let $n \geq -2$ be an integer. The following conditions are equivalent:
The object $X \in \operatorname{\mathcal{C}}$ is $n$-truncated, in the sense of Definition 9.3.1.1.
The constant map $\operatorname{\partial \Delta }^{n+2} \rightarrow \{ \operatorname{id}_ X \} \hookrightarrow \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,X)$ exhibits $X$ as a power of itself by $\operatorname{\partial \Delta }^{n+2}$, in the sense of Definition 7.1.2.1.
The constant map
is a limit diagram in $\operatorname{\mathcal{C}}$, in the sense of Definition 7.1.3.4.
\[ ( \operatorname{\partial \Delta }^{n+2} )^{\triangleright } \simeq \Lambda ^{n+3}_{n+3} \rightarrow \{ X\} \hookrightarrow \operatorname{\mathcal{C}} \]
The equivalence $(1) \Leftrightarrow (2)$ follows from Corollary 3.5.9.22, and the equivalence $(2) \Leftrightarrow (3)$ from Remark 7.1.2.6.
Remark 9.3.1.11. In the formulation of Remark 9.3.1.10, we can replace $\operatorname{\partial \Delta }^{n+2}$ by any simplicial set $K$ of the same weak homotopy type (that is, any simplicial set $K$ for which the geometric realization $|K|$ is homotopy equivalent to a sphere of dimension $n+1$). For example, we can take $K$ to be the subdivision $\operatorname{Sd}( \Delta ^{n+1} )$ (see Proposition 3.3.4.8).
Remark 9.3.1.12. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories which preserves finite limits. Then, for every $n$-truncated object $X \in \operatorname{\mathcal{C}}$, the image $F(X)$ is an $n$-truncated object of $\operatorname{\mathcal{D}}$. This follows from the criterion of Remark 9.3.1.10.
Remark 9.3.1.13. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. Then an object $X \in \operatorname{\mathcal{C}}$ is $n$-truncated if and only if the right fibration $\operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{\mathcal{C}}$ is essentially $n$-categorical. This follows from the criterion of Corollary 5.1.5.18 (together with Remark 9.3.1.2).
Proposition 9.3.1.14. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. Let $X$ be an object of $\operatorname{\mathcal{C}}$, and let us abuse notation by identifying $X$ with its image in the homotopy $n$-category $\mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}})}$ (Notation 4.8.4.2). Then $X$ is $(n-1)$-truncated if and only if the diagram of $\infty $-categories is a categorical pullback square.
9.23
\begin{equation} \begin{gathered}\label{equation:discrete-via-slicing} \xymatrix { \operatorname{\mathcal{C}}_{/X} \ar [r] \ar [d] & \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}})}_{/X} \ar [d] \\ \operatorname{\mathcal{C}}\ar [r] & \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}})} } \end{gathered} \end{equation}
Proof. Since the vertical maps in the diagram (9.23) are right fibrations (Proposition 4.3.6.1), it is a categorical pullback square if and only if, for every object $Y \in \operatorname{\mathcal{C}}$, the induced map of right-pinched morphism spaces
\[ \theta : \operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{R}}( Y,X) = \{ Y\} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/Y} \rightarrow \{ Y\} \times _{ \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}})} } (\mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}})})_{/X} = \operatorname{Hom}_{\mathrm{h}_{\mathit{\leq n}}\mathit{(()}\operatorname{\mathcal{C}})}^{\mathrm{R}}( Y,X) \]
is a homotopy equivalence (Corollary 5.1.6.4). It follows from Corollary 4.8.4.8 that $\theta $ exhibits $\operatorname{Hom}_{\mathrm{h}_{\mathit{\leq n}}\mathit{(()}\operatorname{\mathcal{C}})}^{\mathrm{R}}( Y,X)$ as an $(n-1)$-truncation of $\operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{R}}( Y,X)$. In particular, it is a homotopy equivalence if and only if $\operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{R}}( Y,X)$ is $(n-1)$-truncated. This condition is satisfied for every object $Y \in \operatorname{\mathcal{C}}$ if and only if the object $X$ is $(n-1)$-truncated (Remark 9.3.1.2). $\square$
Corollary 9.3.1.15. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $n$ be an integer, and let $X$ be an $(n-1)$-truncated object of $\operatorname{\mathcal{C}}$. Then the canonical map $\mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}}_{/X} )} \rightarrow \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}})}_{/X}$ is an equivalence of $\infty $-categories.
Proof. Combine Propositions 9.3.1.14 and 4.8.4.20. $\square$
Proposition 9.3.1.16 (Limits of Truncated Objects). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. Then the collection of $n$-truncated objects of $\operatorname{\mathcal{C}}$ is closed under limits. That is, if $F: A^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a limit diagram in $\operatorname{\mathcal{C}}$ having the property that $F(a)$ is $n$-truncated for each vertex $a \in A$, then $F$ carries the cone point of $A^{\triangleleft }$ to an $n$-truncated object of $\operatorname{\mathcal{C}}$.
Proof. Fix an object $C \in \operatorname{\mathcal{C}}$ and let $h^{C}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ denote the functor corepresented by $C$. We wish to show that the composition
\[ A^{\triangleleft } \xrightarrow {F} \operatorname{\mathcal{C}}\xrightarrow {h^{C}} \operatorname{\mathcal{S}} \]
carries the cone point of $A^{\triangleleft }$ to an $n$-truncated Kan complex. This follows from Remark 7.4.1.5, since $h^{C} \circ F$ is a limit diagram in the $\infty $-category $\operatorname{\mathcal{S}}$ (Corollary 7.4.1.19). $\square$
Remark 9.3.1.17. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $X$ be an object of $\operatorname{\mathcal{C}}$, and let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ be the full subcategory of $\operatorname{\mathcal{C}}$ spanned by those objects $Y \in \operatorname{\mathcal{C}}$ for which the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,X)$ is $n$-truncated. Since the representable functor carries colimits in the $\infty $-category $\operatorname{\mathcal{C}}$ to limits in the $\infty $-category of spaces $\operatorname{\mathcal{S}}$, (Corollary 7.4.1.19), Remark 7.4.1.5 guarantees that the subcategory $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ is closed under the formation of colimits. Consequently, if $\operatorname{\mathcal{C}}$ is generated (under the formation of small colimits) by some full subcategory $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$, then the object $X$ is $n$-truncated if and only if the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,X)$ is $n$-truncated for each object $Y \in \operatorname{\mathcal{C}}_0$.
\[ h_{X}: \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{S}}\quad \quad Y \mapsto \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,X) \]
Definition 9.3.1.1 can be reformulated as a filling condition:
Proposition 9.3.1.18. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $X$ be an object of $\operatorname{\mathcal{C}}$, and let $n \geq -2$ be an integer. Then $X$ is $n$-truncated if and only if it satisfies the following condition for each $m \geq n+3$:
Every morphism $\sigma : \operatorname{\partial \Delta }^ m \rightarrow \operatorname{\mathcal{C}}$ satisfying $\sigma (m) = X$ can be extended to an $m$-simplex of $\operatorname{\mathcal{C}}$.
Proof. This is a special case of Proposition 4.8.6.20, since the object $X$ is $n$-truncated if and only if the right fibration $\operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{\mathcal{C}}$ is essentially $(n+1)$-categorical (Remark 9.3.1.13). $\square$
The following is a variant of Proposition 4.3.7.12:
Proposition 9.3.1.19. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ and $F: K \rightarrow \operatorname{\mathcal{E}}$ be morphisms of simplicial sets, where $U$ is a right fibration. Let $n$ and $k$ be integers such that $K$ is $(k-1)$-connective and each fiber of $U$ is $n$-truncated. Then the induced map $U_{ /F}: \operatorname{\mathcal{E}}_{/F} \rightarrow \operatorname{\mathcal{C}}_{ /(U \circ F)}$ is a right fibration, and each fiber of $U_{/F}$ is $(n-k)$-truncated.
Proof. The first assertion follows from Variant 4.3.6.11. To prove the second, we can use Remark 5.6.7.4 to reduce to the case where $\operatorname{\mathcal{E}}$ and $\operatorname{\mathcal{C}}$ are $\infty $-categories. By virtue of Theorem 4.6.4.17, it will suffice to show that each fiber of the right fibration
\[ V: \operatorname{\mathcal{E}}\operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{E}}) } \{ F \} \rightarrow \operatorname{\mathcal{C}}\operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{C}}) } \{ U \circ F \} \]
is $(n-k)$-truncated. Fix an object $C \in \operatorname{\mathcal{C}}$, and set $\operatorname{\mathcal{E}}_{C} = \{ C\} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}$, so that $V$ restricts to a right fibration
\[ V_{C}: \operatorname{\mathcal{E}}_{C} \operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{E}}) } \{ F\} \rightarrow \{ C\} \operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{C}}) } \{ U \circ F \} . \]
The target of $V_{C}$ is the Kan complex $\operatorname{Hom}_{ \operatorname{Fun}(K, \operatorname{\mathcal{C}}) }( \underline{C}, U \circ F )$, where $\underline{C}$ denotes the constant functor $K \rightarrow \operatorname{\mathcal{C}}$ taking the value $C$. It follows that $V_{C}$ is a Kan fibration between Kan complexes (Corollary 4.4.3.8). We will complete the proof by showing that the Kan fibration $V_{C}$ is $(n-k)$-truncated.
Note that the morphism $V_{C}$ factors as a composition
\[ \operatorname{\mathcal{E}}_{C} \operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{E}}) } \{ F\} \xrightarrow {\iota } \operatorname{Fun}(K, \operatorname{\mathcal{E}}_{C} ) \operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{C}}) } \{ F\} \xrightarrow {G} \{ C\} \operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{C}}) } \{ U \circ F \} , \]
where $G$ is a pullback of the map
\[ \operatorname{Fun}( \Delta ^1 \times K, \operatorname{\mathcal{E}}) \rightarrow \operatorname{Fun}( \Delta ^1 \times K, \operatorname{\mathcal{C}}) \times _{ \operatorname{Fun}( \{ 1\} \times K, \operatorname{\mathcal{C}}) } \operatorname{Fun}( \{ 1\} \times K, \operatorname{\mathcal{E}}) \]
and therefore a trivial Kan fibration (see Proposition 4.2.6.1). It will therefore suffice to show that the inclusion map $\iota $ is $(n-m+2)$-connective. By construction, $\iota $ fits into a pullback diagram
\[ \xymatrix { \operatorname{\mathcal{E}}_{C} \operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{E}}) } \{ F\} \ar [r]^{\iota } \ar [d] & \operatorname{Fun}(K, \operatorname{\mathcal{E}}_{C} ) \operatorname{\vec{\times }}_{ \operatorname{Fun}(K, \operatorname{\mathcal{C}}) } \{ F\} \ar [d] \\ \operatorname{\mathcal{E}}_{C} \ar [r]^{\iota _0} & \operatorname{Fun}(K, \operatorname{\mathcal{E}}_ C ). } \]
The vertical maps in this diagram are right fibrations between Kan complexes, and therefore Kan fibrations (Corollary 4.4.3.8). It follows that the diagram is a homotopy pullback square (Example 3.4.1.3). We are therefore reduced to proving that $\iota _0$ is $(n-k)$-truncated (Corollary 3.5.9.11), which is a special case of Corollary 3.5.9.26. $\square$
Corollary 9.3.1.20. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ and $F: K \rightarrow \operatorname{\mathcal{E}}$ be morphisms of simplicial sets and let $n$ be an integer. Assume that $U$ is a right fibration with $n$-truncated fibers and that $K$ is $(n+1)$-connective. Then the map $U_{ /F}: \operatorname{\mathcal{E}}_{/F} \rightarrow \operatorname{\mathcal{C}}_{ / \overline{F} }$ is a trivial Kan fibration.
Proof. Combine Propositions 9.3.1.19 and 4.4.2.14. $\square$
Corollary 9.3.1.21. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a right fibration of $\infty $-categories, let $n$ be an integer such that every fiber of $U$ is $n$-truncated, and let $K$ be an $(n+1)$-connective simplicial set. Then a morphism $\overline{F}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{E}}$ is a limit diagram in $\operatorname{\mathcal{E}}$ if and only if $U \circ \overline{F}$ is a limit diagram in $\operatorname{\mathcal{C}}$. In particular, the functor $U$ preserves $K$-indexed limits.
Corollary 9.3.1.22. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $X$ be an object of $\operatorname{\mathcal{C}}$ which is $n$-truncated for some integer $n$. If $K$ is an $(n+1)$-connective simplicial set, then a morphism $K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}_{/X}$ is a limit diagram if and only if its image in $\operatorname{\mathcal{C}}$ is a limit diagram. In particular, the forgetful functor $\operatorname{\mathcal{C}}_{/X} \rightarrow \operatorname{\mathcal{C}}$ preserves $K$-indexed limits.
We close this section by classifying the truncated objects of the $\infty $-category $\operatorname{\mathcal{QC}}$ of (small) $\infty $-categories (Construction 5.5.4.1).
Proposition 9.3.1.23. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. The following conditions are equivalent:
The $\infty $-category $\operatorname{\mathcal{C}}$ is $n$-truncated when viewed as an object of $\operatorname{\mathcal{QC}}$, in the sense of Definition 9.3.1.1.
The Kan complex $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})^{\simeq }$ is $n$-truncated.
The core $\operatorname{\mathcal{C}}^{\simeq }$ is an $n$-truncated Kan complex. Moreover, for every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is also an $n$-truncated Kan complex.
Proof.
By virtue of Proposition 
, the $\infty $-category $\operatorname{\mathcal{QC}}$ is generated under colimits by the object $\Delta ^1 \in \operatorname{\mathcal{QC}}$. The equivalence $(1) \Leftrightarrow (2)$ now follows by combining Remarks 9.3.1.17 and 5.5.4.5. We next show that, if condition $(2)$ is satisfied, then the core $\operatorname{\mathcal{C}}^{\simeq }$ is an $n$-truncated Kan complex. Let $\operatorname{Isom}(\operatorname{\mathcal{C}})$ denote the full subcategory of $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})$ spanned by the isomorphisms of $\operatorname{\mathcal{C}}$. Then the diagonal map
\[ \operatorname{\mathcal{C}}\hookrightarrow \operatorname{Isom}(\operatorname{\mathcal{C}}) \quad \quad X \mapsto \operatorname{id}_{X} \]
is an equivalence of $\infty $-categories (Corollary 4.5.3.13), and therefore restricts to a homotopy equivalence of Kan complexes $\operatorname{\mathcal{C}}^{\simeq } \hookrightarrow \operatorname{Isom}(\operatorname{\mathcal{C}})^{\simeq }$. We are therefore reduced to showing that the Kan complex $\operatorname{Isom}(\operatorname{\mathcal{C}})^{\simeq }$ is $n$-truncated. Since $\operatorname{Isom}(\operatorname{\mathcal{C}})^{\simeq }$ is a summand of the Kan complex $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})^{\simeq }$, this follows immediately from assumption $(2)$ if $n \geq -1$. The case $n \leq -2$ then follows from the additional observation that if $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})^{\simeq }$ is nonempty, then the $\infty $-category $\operatorname{\mathcal{C}}$ is nonempty, so $\operatorname{Isom}(\operatorname{\mathcal{C}})^{\simeq }$ is nonempty.
We now complete the proof by showing that $(2)$ and $(3)$ are equivalent. By virtue of the preceding argument, we may assume that the core $\operatorname{\mathcal{C}}^{\simeq }$ is $n$-truncated, so the product $\operatorname{\mathcal{C}}^{\simeq } \times \operatorname{\mathcal{C}}^{\simeq }$ is $n$-truncated (Remark 3.5.7.6). Using Proposition 3.5.9.13, we see that condition $(2)$ is satisfied if and only if the map of Kan complexes
\[ U: \operatorname{Fun}(\Delta ^1,\operatorname{\mathcal{C}})^{\simeq } \rightarrow \operatorname{\mathcal{C}}^{\simeq } \times \operatorname{\mathcal{C}}^{\simeq } \quad \quad (f: X \rightarrow Y) \mapsto (X,Y) \]
is $n$-truncated. Since $U$ is a Kan fibration (Corollary 4.4.5.4), this is equivalent to the requirement that each fiber of $U$ is an $n$-truncated Kan complex (Proposition 3.5.9.8), which is a restatement of $(3)$. $\square$
Remark 9.3.1.24. If $n \geq -1$, we can reformulate condition $(3)$ of Proposition 9.3.1.23 as follows:
For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the morphism space $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ is $n$-truncated. Moreover, the summand $\operatorname{Isom}_{\operatorname{\mathcal{C}}}(X,Y) \subseteq \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)$ spanned by the isomorphisms from $X$ to $Y$ is $(n-1)$-truncated.
See Example 3.5.9.18.
Corollary 9.3.1.25. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $n$ be an integer. Then:
If $\operatorname{\mathcal{C}}$ is an $n$-truncated object of $\operatorname{\mathcal{QC}}$ (in the sense of Definition 9.3.1.1), then it is locally $n$-truncated (in the sense of Definition 4.8.2.1).
If $n \geq -1$ and $\operatorname{\mathcal{C}}$ is locally $(n-1)$-truncated, then it is an $n$-truncated object of $\operatorname{\mathcal{QC}}$.
Warning 9.3.1.26. In general, neither implication of Corollary 9.3.1.25 is reversible. See Example 9.3.2.11.