From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1834 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Why binary products are ordered Date: Wed, 07 Feb 2001 17:17:19 -0800 Message-ID: <200102080117.RAA13130@coraki.Stanford.EDU> References: <4.1.20010129101330.00ad8560@mail.oberlin.net> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018134 700 80.91.229.2 (29 Apr 2009 15:15:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:15:34 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Feb 8 09:55:59 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f18DIxX08319 for categories-list; Thu, 8 Feb 2001 09:18:59 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f In-reply-to: Your message of "Mon, 29 Jan 2001 10:18:52 PST." <4.1.20010129101330.00ad8560@mail.oberlin.net> Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 16 Original-Lines: 45 Xref: news.gmane.org gmane.science.mathematics.categories:1834 Archived-At: (Just back from Australia, where I was able to combine my mum's 90th birthday with the annual Australian Computer Society meeting which by pure luck turned out to be only a 20 minute drive away, in the process running into Bob Walters and Mike Johnson as well as some other friends I hadn't seen for ages. The following arrived right on Mum's birthday.) >From: Charles Wells > >One might say that the ordering of binary products, with a first projection >and a second projection, is spurious but inevitable. > >The two components of a binary product must be distinguished, as Colin >McLarty explained, but they must be allowed to be isomorphic. The usual >way we handle a situation like this in mathematics is to index them, in >this case by a two-element set. One could use {red,blue}. As far as I >know, in Western culture, this set has no canonical ordering, but >nevertheless one knows that there is a redth component and a blueth >component and they might or might not be different objects. > >However, in practice the index set is {0,1}, {1,2} or {x,y} (the latter in >analytic geometry). All of these are canonically totally ordered in our >culture, so inevitably binary products do have an order in practice. I confess to some confusion as to what Charles is insisting is inevitable here. A binary product in C is a limit of a diagram 1+1->C (1+1 the two-object discrete category), and 1+1 has two automorphisms. This much and its mathematical consequences are surely inevitable. But woven into Charles' argument is what Bill has called the "totally arbitrary singleton operation of Peano." It appears implicitly at the beginning when Charles names the projections, and then (after an indirect reference to the automorphisms of the binary product) more explicitly when he collects the names as a set. Surely anyone insisting on names like 1 and 2 or red and blue for the projections of binary product is backsliding into the ZFvN tarpit of spurious rigidified membership. If this backsliding really is inevitable as Charles seems to be saying, how does one reconcile this with Bill's view of "rigidified membership" as "mathematically spurious"? Must mathematics accept the spurious, in this or any other case? Vaughan