Proposition 4.8.3.36. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories and let $n > 0$ be an integer. The following conditions are equivalent:
- $(1)$
The functor $F$ is $n$-faithful.
- $(2)$
For every pullback diagram of $\infty $-categories
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}' \ar [r] \ar [d]^{F'} & \operatorname{\mathcal{C}}\ar [d]^{F} \\ \operatorname{\mathcal{D}}' \ar [r] & \operatorname{\mathcal{D}}, } \]the functor $F'$ is $n$-faithful.
- $(3)$
For every pullback diagram of $\infty $-categories
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}' \ar [r] \ar [d]^{F'} & \operatorname{\mathcal{C}}\ar [d]^{F} \\ \operatorname{\mathcal{D}}' \ar [r] & \operatorname{\mathcal{D}}, } \]where $\operatorname{\mathcal{D}}'$ is locally $(n-2)$-truncated, the $\infty $-category $\operatorname{\mathcal{C}}'$ is also locally $(n-2)$-truncated.
- $(4)$
For every pullback diagram of $\infty $-categories
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}' \ar [r] \ar [d] & \operatorname{\mathcal{C}}\ar [d]^{F} \\ \Delta ^1 \ar [r] & \operatorname{\mathcal{D}}, } \]the $\infty $-category $\operatorname{\mathcal{C}}'$ is locally $(n-2)$-truncated.
Moreover, the equivalence $(1) \Leftrightarrow (2)$ also holds for $n = 0$.