Can an "arbitrary" object be thought of as an element in some free
structure over the one considered? For instance, saying "let x and y be
arbitrary integers" seems like considering Z[x,y], i.e. the free
commutative ring over {x,y}.
Jesper Carlstroem
Stockholm University