Corollary 9.4.8.11. Suppose we are given a categorical pullback square of $\infty $-categories
Assume that $\operatorname{\mathcal{C}}_{-}$, $\operatorname{\mathcal{C}}_{+}$, and $\operatorname{\mathcal{C}}$ are accessible $\infty $-categories and that $F_{-}$ and $F_{+}$ are accessible functors. Then the $\infty $-category $\operatorname{\mathcal{C}}_{\pm }$ and the functors $G_{-}$ and $G_{+}$ are also accessible. Moreover, if $\operatorname{\mathcal{D}}$ is another accessible $\infty $-category, then a functor $T: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}_{\pm }$ is accessible if and only if the compositions $G_{-} \circ T$ and $G_{+} \circ T$ are accessible.