{C : Type u_1} →
  [inst : CategoryTheory.Category.{v_1, u_1} C] →
    [inst_1 : HomotopicalAlgebra.ModelCategory C] →
      {X Y : C} →
        (X ⟶ Y) →
          (HomotopicalAlgebra.FibrantObject.HoCat.resolutionObj X ⟶
            HomotopicalAlgebra.FibrantObject.HoCat.resolutionObj Y)