{C : Type u₁} →
  [inst : CategoryTheory.Category.{v₁, u₁} C] →
    {ι : Type u_1} →
      {S : C} →
        {X : ι → C} → {f : (i : ι) → X i ⟶ S} → {Y : C} → {g : Y ⟶ S} → CategoryTheory.Presieve.ofArrows X f g → ι