FOM: Re: Arbitrary Objects

Jesper Carlstrom jesper at
Thu Feb 7 04:58:07 EST 2002

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

More information about the FOM mailing list