{S : Type u_1} →
  {inst : AddMonoidWithOne S} →
    {C : Type u} →
      {inst_1 : CategoryTheory.Category.{v, u} C} →
        {inst_2 : CategoryTheory.Limits.HasZeroMorphisms C} →
          {inst_3 : CategoryTheory.HasShift C S} →
            {X Y : CategoryTheory.DifferentialObject S C} → [SizeOf S] → [SizeOf C] → X.Hom Y → ℕ