Weighted minus ordering of morphism set in category

• 范畴中态射集的加权减序