bicategory of fractions and homotopy category