From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9951 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: George Janelidze Newsgroups: gmane.science.mathematics.categories Subject: Re: "First" use of 'Category theory' to describe our field Date: Sun, 14 Jul 2019 20:18:59 +0000 Message-ID: References: <1563130621487.87744@mta.ca> Reply-To: George Janelidze Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="11977"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Jul 15 17:03:49 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hn2W3-0002v6-S0 for gsmc-categories@m.gmane.org; Mon, 15 Jul 2019 17:03:48 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:34976) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hn2Ul-0004J1-UI; Mon, 15 Jul 2019 12:02:27 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hn2Tz-000235-At for categories-list@mlist.mta.ca; Mon, 15 Jul 2019 12:01:39 -0300 In-Reply-To: <1563130621487.87744@mta.ca> Accept-Language: en-ZA, en-US Content-Language: en-US Content-ID: <62E898A75997ED47957874109567C202@eurprd03.prod.outlook.com> Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9951 Archived-At: Dear Colleagues, I would like to add three remarks to this discussion: 1. In his paper "Samuel Eilenberg and Categories" (Journal of Pure and Applied Algebra 168 (2002) 127=96131), Saunders Mac Lane, talking about [S. Eilenberg and S. Mac Lane, General theory of natural equivalences, Transactions of the American Mathematical Society 58, 2 (1945) 231-294] says: "...At the time, Sammy stated firmly that this would be the only paper needed for category theory. Probably what he had in mind was that the trio of notions - category, functor, and natural transformation - was enough to make good applications possible; in particular it was enough to formulate the axiomatic treatment of homology theory carried out in the famous Eilenberg--Steenrod text =93Foundations of Algebraic Topology=94. This initial paper on category theory was certainly a =93far out=94 endeavor; it might not have seen the light of day! Also the terminology was largely purloined: =93category=94 from Kant, =93natural=94 from vector spac= es and =93functor=94 from Carnap. (It was used in a different sense in Carnap=92s influential book =93Logical Syntax of Language=94; I had reviewed the Engli= sh translation of the book (in the Bulletin, AMS) and had spotted some errors; since Carnap never acknowledged my finding, I did not mind using his terminology.) Sammy=92s initial idea that one paper would be enough turned out to be wildly wrong. Other basic examples such as adjoint functors were developed; at Columbia University Sammy subsequently inspired and guided a remarkable group of young mathematicians who took up category theory: John Gray, Danie= l Kan, Bill Lawvere, Mike Barr, Jon Beck, Alex Heller, Peter Freyd, and many others. Sammy and I were very fortunate in our students and associates..." 2. We celebrated 50th Anniversary of Category Theory in 1995 twice: in Halifax (Canada) and then in Cambridge (UK). In particular, the webpage https://www.mta.ca/~cat-dist/ct95.html says: "...Fifty years after the paper which founded Category Theory and twenty-five years after the discovery of Elementary Topos Theory, the Category Theory community met in Halifax..." 3. Yes, the title "General theory of natural equivalences" has no categorie= s in it, and one might have different opinions on "which paper has the most important contribution in transforming 'language' into 'theory'" (what abou= t [S. Mac Lane, Duality for groups, Bulletin of the American Mathematical Society 56 (1950) 485-516]?). But I think the citations above clearly suggest to say that Category Theory was 'officially' born in 1945, and let us hope to celebrate its 100th Anniversary in 2045! Of course all this means no disrespect for great contributions of non-North-American authors mentioned (or not mentioned) in various messages on this topic. Best regards, George [For admin and other information see: http://www.mta.ca/~cat-dist/ ]