Limits of presentable categories

Theorem 22.2.3 (Limits of presentable categories, [Lurie (2009), Proposition 5.5.3.13 and Theorem 5.5.3.18]). The \(\infty \)-categories \(\PrL \) and \(\PrR \) admit small limits. Moreover, the inclusion functors \[ \PrL \longrightarrow \widehat {\Cat }_{\infty } \qquad \text {and}\qquad \PrR \longrightarrow \widehat {\Cat }_{\infty } \] preserve small limits.