From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2661 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: Getting rid of cardinality as an issue (correction) Date: Thu, 22 Apr 2004 15:41:18 -0700 Message-ID: <20040422224118.GA11242@math-rs-n03.ucr.edu> References: <200404220615.i3M6FDx1030384@coraki.Stanford.EDU> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241018814 5205 80.91.229.2 (29 Apr 2009 15:26:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:26:54 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Fri Apr 23 08:50:36 2004 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 23 Apr 2004 08:50:36 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1BGzBy-0000ri-00 for categories-list@mta.ca; Fri, 23 Apr 2004 08:50:02 -0300 Content-Disposition: inline In-Reply-To: <200404220615.i3M6FDx1030384@coraki.Stanford.EDU> User-Agent: Mutt/1.4i Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 40 Original-Lines: 19 Xref: news.gmane.org gmane.science.mathematics.categories:2661 Archived-At: Vaughan Pratt wrote: >[Note from moderator: apologies to Vaughan for missing his requested >change: 1 has been changed to 0 5 lines from bottom, so it reads: >`discrete 0-category'.] And this is the line in question: >* A set is a discrete 0-category. Just to check, the word "discrete" here is redundant, right? You just put it in to contrast with the next line, where it's necessary: >* A class is a discrete n-category for unspecified n. -- Toby