Definition 22.3.5 (Ind-completion). Let \(C\) be a small \(\infty \)-category. Its Ind-completion is the full subcategory \[ \Ind (C)\subseteq \PSh (C) \] spanned by the filtered colimits of representable presheaves. The Yoneda embedding factors through a fully faithful functor \(C\hookrightarrow \Ind (C)\).
Generated from the authoritative LaTeX source.