Sort u →
  {C : Type u_1} →
    {ι : Type u_2} →
      [inst : CategoryTheory.Category.{u_3, u_1} C] →
        [inst_1 : CategoryTheory.Category.{u_4, u_2} ι] →
          [inst_2 : CategoryTheory.Abelian C] →
            {X X' : CategoryTheory.Abelian.SpectralObject C ι} →
              X.Hom X' →
                {C' : Type u_1} →
                  {ι' : Type u_2} →
                    [inst' : CategoryTheory.Category.{u_3, u_1} C'] →
                      [inst'_1 : CategoryTheory.Category.{u_4, u_2} ι'] →
                        [inst'_2 : CategoryTheory.Abelian C'] →
                          {X' X'' : CategoryTheory.Abelian.SpectralObject C' ι'} → X'.Hom X'' → Sort u