{C : Type u} →
  {𝒞 : CategoryTheory.Category.{v, u} C} →
    [self : CategoryTheory.MonoidalCategoryStruct C] →
      (X : C) →
        {Y₁ Y₂ : C} →
          (Y₁ ⟶ Y₂) →
            (CategoryTheory.MonoidalCategoryStruct.tensorObj X Y₁ ⟶
              CategoryTheory.MonoidalCategoryStruct.tensorObj X Y₂)