From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5259 Path: news.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: categorical foundations Date: Thu, 12 Nov 2009 20:29:18 -0500 Message-ID: References: Reply-To: Colin McLarty NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1258079827 20866 80.91.229.12 (13 Nov 2009 02:37:07 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 13 Nov 2009 02:37:07 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Fri Nov 13 03:37:00 2009 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 1N8m1z-0006W7-S0 for gsmc-categories@m.gmane.org; Fri, 13 Nov 2009 03:37:00 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1N8lbS-0006pl-HT for categories-list@mta.ca; Thu, 12 Nov 2009 22:09:34 -0400 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5259 Archived-At: 2009/11/12 : writes > ETCS is the formal basis of CCAF. This is simply false. On some versions ETCS is a part of CCAF but even then it is in no sense prior to other parts. > ETCS relies on a pre-formal > notion of set or collection just like ZF or any other axiomatic theory built > with Hilbert-Tarski axiomatic method. Do you mean that every formalized axiom system uses arithmetical notions such as "finite string of symbols." This is why that formal axioms cannot be the real basis of our knowledge of math, but it has no more bearing on categorical axioms than any others. Or do you think that pre-formal notions of "set" or "collection" are all based on iterated membership and Zermelo's form of the axiom of extensionality, so that CCAF is less basic than ZFC? That is a common belief among logicians who have not read Zermelo's critique of Cantor (where Zermelo points out that Cantor did not hold these beliefs) and who know a great deal more of ZFC than of other mathematics. In fact, long before mathematicians could analyze the continuum into a discrete set of points plus a topology, they were well aware of collections like the collection of rigid motions of the plane -- and that "collection" is a category. It is not just a ZFC set of motions but comes with composition of motions and with an object that the motions act on. > Elements of a new properly categorical > method of theory-building are present in the "basic theory" (BC) that follows > ETC. (I mean, in particular, the "redefinition" of functor in BC as 2-->A, etc. > The standard definition of functor given earlier in ETC never reappears in BC.) The "standard" definition of functor appears as the definition of a small category in the category of sets. > However in CCAF these new features are not yet developed into an autonomous > axiomatic method - or into a new way of formalisation of pre-formal concepts, > if you like. Well, yes, they are developed into one. That was Bill's achievement with CCAF. best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]