of the localization of at ; that is (all these constructions can be defined by universal properties).

Other objects that can be defined by universal properties include: all free objects, direct products and direct sums, free groups, free lattices, Grothendieck group,