categories: Re: Inevitability of ordering products

[Eduardo Dubuc <edubuc@math.uqam.ca>]

ordering is not inevitable

naming is inevitable

how do you refer to a proyection withot naming it ?

of course naming a proyection by the object it proyects is the mother of
all evil

have you delt with actions of the symetric group, say, on polynomials on
several variables   ?
There is a related (if not the same) confusion here.

what sense has the concept of unlabeled graph ?

try to put an unlabeled graph inside a computer  ?

well, unlabeled graph has to be a quotient by an equivalent relation ...


and so on ...