Re: Inevitability of ordering products

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 ...