From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5857 Path: news.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: Re: terminology Date: Tue, 25 May 2010 15:39:33 -0400 Message-ID: References: Reply-To: Colin McLarty NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-7 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1274967955 31437 80.91.229.12 (27 May 2010 13:45:55 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 27 May 2010 13:45:55 +0000 (UTC) Cc: John Baez To: categories@mta.ca Original-X-From: categories@mta.ca Thu May 27 15:45:53 2010 connect(): No such file or directory 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.69) (envelope-from ) id 1OHdPC-0000pi-MN for gsmc-categories@m.gmane.org; Thu, 27 May 2010 15:45:50 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OHd72-0005sT-Uz for categories-list@mta.ca; Thu, 27 May 2010 10:27:05 -0300 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5857 Archived-At: As to articulating a way to avoid ever using identity of objects and identity of categories, John Baez writes > I think Michael Makkai has done it. =A0He has formulated a foundational > approach to mathematics based on infinity-categories, in which equality > plays no fundamental role: > > http://www.math.mcgill.ca/makkai/mltomcat04/mltomcat04.pdf > > I think some approach along these general lines might ultimately become > quite popular. But so far as know, this remains an approach, and not any specific set of axioms offered as foundation. In this paper Michael defines "multitopic =F9-category" more or less analogously to how Eilenberg and Mac~Lane defined "category," and he defines "the (large) multitopic set of all (small) multitopic =F9-categories" using that definition. If I understand these correctly (and have not, for example, confused intuitive motivation with strict definition) they take for granted such as ideas as the category Set of sets, and Set-valued functors. While Eilenberg and Mac~Lane saw (and referred to) the foundational significance of their ideas, they did not offer their definition as a foundation per se. And they were right. Lawvere's foundations ETCS and CCAF are first-order axiomatizations which suffice to prove the theorems of mathematics (exactly which theorems depending on exactly which axioms, but he clearly defined variants suited to classical analysis and various extensions of that). Has anyone yet offered a first-order (or ML-typetheoretic) axiomatization of mathematics along Makkai's lines? Popular is another question! And I am not worried about finding a final form of such axioms. But I do not yet know of such axioms. best, Colin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]