∀ {κ : Cardinal.{u_1}} {A : Type u_2} [inst : CategoryTheory.Category.{u_3, u_2} A],
  HasCardinalLT (CategoryTheory.Arrow A) κ →
    ∀ (this : Small.{u_1, u_2} A) (this_1 : CategoryTheory.LocallySmall.{u_1, u_3, u_2} A),
      HasCardinalLT (CategoryTheory.Arrow (CategoryTheory.ShrinkHoms.{u_1} (Shrink.{u_1, u_2} A))) κ