Corollary 1.8.10 (Universal property of animae). Let \(D\) be a large \(\infty \)-category admitting all small colimits. Evaluation at \(* \in \An \) induces an equivalence \[ \ev _*\colon \Fun ^{\colim }(\An ,D) \quad \iso \quad D. \]
Generated from the authoritative LaTeX source.