 Example.Let's define an algebraic theory T taking hom("n", "m") to be "m"-tuples of polynomials of "n" free variables "X1"..., "Xn" with integer coefficients and with substitution as composition.In this case "proji" is the same as "Xi".