ByNobleID
    Inductive LS cocategory and localisation | NobleID