From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5507 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: categories are beautiful Date: Mon, 11 Jan 2010 23:26:28 -0800 Message-ID: References: Reply-To: Vaughan Pratt NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1263304327 10947 80.91.229.12 (12 Jan 2010 13:52:07 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 12 Jan 2010 13:52:07 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Tue Jan 12 14:51:59 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NUhA5-0004eE-Tc for gsmc-categories@m.gmane.org; Tue, 12 Jan 2010 14:51:58 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NUghC-0001Hz-99 for categories-list@mta.ca; Tue, 12 Jan 2010 09:22:06 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5507 Archived-At: Eduardo J. Dubuc wrote: > Bob Pare is so much right telling us that the distinction is not of size. > Clearly the small categories of finitely presented rings, of finite groups, > etc, etc, and even the groupoid of finite sets and bijective functions (in > Joyal's theory of species for example) are in spirit Eilember-MacLane's > "large" categories, and not Ehreshmann's "small" categories. Let me try out an analogy here. Atmospheric pressure bears down on our skin with several tonnes, but we don't notice this because our insides push back with equal pressure. Only when we disturb the difference by swimming ten feet underwater or climbing a 20,000 foot mountain does pressure come to our attention. It seems to me that the size of Set is less important than our day-to-day choices of set-valued functors. The size of Set is like the tonnes of atmosphere pressing down on our skin. The choice of functor is more like the little variations we make to the equilibrium across our skin. Vaughan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]