Proposition 23.5.2. Let \(I\) be a small \(\infty \)-category and let \(F\colon I \to \Cat _{\infty }\) be a functor.
- (1)
-
The functor \(F\) admits a colimit in \(\Cat _{\infty }\), which can be computed by the formula \[ \colim _I F(i) \simeq \Un ^{\cc }(F)[\cc ^{-1}]. \]
- (2)
-
The functor \(F\) admits a limit in \(\Cat _{\infty }\), which can be computed by the formula \[ \lim _I F(i) \simeq \Gamma _I^{\cc }(\Un ^{\cc }(F)). \]
Proof. See Reference ?, Reference ? of [Cisinski et al. (2026)]. □
Generated from the authoritative LaTeX source.