ByNobleID
    Bicategories of fractions revisited: towards small homs and canonical 2-cells | NobleID