Cocomplete Category

A Category 𝒞 𝒞 \mathcal{C} is Îș 𝜅 \kappa -cocomplete if it has Colimits of every functor F : đ’„ → 𝒞 : đč → đ’„ 𝒞 F:\mathcal{J}\to\mathcal{C} from a Îș 𝜅 \kappa -small category.