From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3403 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: Re: Attribution re no membership-respecting morphisms Date: Wed, 23 Aug 2006 11:47:39 -0400 (EDT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241019283 8593 80.91.229.2 (29 Apr 2009 15:34:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:34:43 +0000 (UTC) To: categories list Original-X-From: rrosebru@mta.ca Sat Aug 26 23:31:04 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 26 Aug 2006 23:31:04 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1GHAJC-0003OL-PI for categories-list@mta.ca; Sat, 26 Aug 2006 23:23:34 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 36 Original-Lines: 32 Xref: news.gmane.org gmane.science.mathematics.categories:3403 Archived-At: Here is what the site actually says: Monotone functions respect order, group homomorphisms respect the group operation, linear transformations respect linear combinations, and gangsters respect membership in the Cosa Nostra, but what morphism has ever respected membership in a set? It is sheer hubris for a relation that can't get no respect to claim to support all of mathematics. (Old argument of category theorist Mike Barr, new polemics.) That is not a bad rendition (save for the reference to Cosa Nostra) of what I actually said which was that we create these elaborate structures of well-founded trees subject to the rule that two chidren of the same leaf cannot be isomorphic. But then, unlike all other structures that we build, we make no hypothesis that functions preserve the structure. Indeed, I think a structure-preserving map must be the inclusion of a subset. And there are no non-identity endomorphisms. On Mon, 21 Aug 2006, Vaughan Pratt wrote: > I've attributed the third saying at > > http://boole.stanford.edu/dotsigs.html > > to Mike Barr. If there's an earlier attribution I should be using > please let me know. > > Vaughan Pratt > >