16S10 Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) 1028