Notation 6.179.
Let \(K \subseteq K'\) be two classes of small categories. Given a category \(C\) with \(K\)-indexed colimits, we may form a functor
\[C \to \Pp^{K'}_K(C)\]
which is universal among \(K\)-colimit preserving functors into a category with \(K'\)-indexed colimits.