{C : Type uC} →
  [inst : CategoryTheory.Category.{uC', uC} C] →
    (W : CategoryTheory.MorphismProperty C) →
      HomRel (CategoryTheory.Paths (CategoryTheory.Localization.Construction.LocQuiver W))