Sort u_2 →
  {ι : Type u_1} →
    {V : Type u} →
      [inst : CategoryTheory.Category.{v, u} V] →
        [inst_1 : CategoryTheory.Limits.HasZeroMorphisms V] →
          {c : ComplexShape ι} →
            HomologicalComplex V c →
              {ι' : Type u_1} →
                {V' : Type u} →
                  [inst' : CategoryTheory.Category.{v, u} V'] →
                    [inst'_1 : CategoryTheory.Limits.HasZeroMorphisms V'] →
                      {c' : ComplexShape ι'} → HomologicalComplex V' c' → Sort u_2