 This theory "T" is called the theory of commutative rings.In an algebraic theory, any morphism "n" → "m" can be described as "m" morphisms of signature "n" → 1.These latter morphisms are called "n"-ary "operations" of the theory.