From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5290 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: correction Date: Tue, 17 Nov 2009 10:18:05 -0500 (EST) Message-ID: Reply-To: Michael Barr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1258513662 23766 80.91.229.12 (18 Nov 2009 03:07:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 18 Nov 2009 03:07:42 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Wed Nov 18 04:07:31 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from [138.73.1.1] (helo=mailserv.mta.ca) by lo.gmane.org with esmtp (Exim 4.50) id 1NAatF-0003Ae-S3 for gsmc-categories@m.gmane.org; Wed, 18 Nov 2009 04:07:30 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NAaLS-00060K-L9 for categories-list@mta.ca; Tue, 17 Nov 2009 22:32:34 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5290 Archived-At: Of course, what I called a relation was really a span, but its image is the relation I had in mind. It makes me realize that spans are much easier to think about than relations because there is no existential quantifier involved. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]