∀ {C : Type u₁} [inst : CategoryTheory.Category.{v₁, u₁} C] (X : C) (κ : Cardinal.{w}) [inst_1 : Fact κ.IsRegular]
  [CategoryTheory.IsCardinalPresentable X κ] (J : Type u₃) [inst_3 : CategoryTheory.Category.{v₃, u₃} J]
  [CategoryTheory.EssentiallySmall.{w, v₃, u₃} J] [CategoryTheory.IsCardinalFiltered J κ],
  CategoryTheory.Limits.PreservesColimitsOfShape J (CategoryTheory.coyoneda.obj (Opposite.op X))