∀ (J : Type u₁) [inst : CategoryTheory.Category.{v₁, u₁} J] {C : Type u₂} [inst_1 : CategoryTheory.Category.{v₂, u₂} C]
  (X : C) [CategoryTheory.IsConnected J], CategoryTheory.Limits.HasColimit ((CategoryTheory.Functor.const J).obj X)