{A : Type u₁} →
  [inst : CategoryTheory.Category.{v₁, u₁} A] →
    {T : Type u₃} →
      [inst_1 : CategoryTheory.Category.{v₃, u₃} T] →
        {G : CategoryTheory.Functor A T} →
          {X : T} →
            [CategoryTheory.Limits.PreservesColimitsOfSize.{w, w', v₁, v₃, u₁, u₃} G] →
              CategoryTheory.CreatesColimitsOfSize.{w, w', v₁, v₁, max u₁ v₃, u₁}
                (CategoryTheory.CostructuredArrow.proj G X)