From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9955 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: David Roberts Newsgroups: gmane.science.mathematics.categories Subject: Re: "First" use of 'Category theory' to describe our field Date: Mon, 15 Jul 2019 22:00:44 +0930 Message-ID: References: Reply-To: David Roberts Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="95770"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Wed Jul 17 02:07:54 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 1hnXU9-000OlD-Et for gsmc-categories@m.gmane.org; Wed, 17 Jul 2019 02:07:53 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:35166) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hnXTr-0006ri-AP; Tue, 16 Jul 2019 21:07:35 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hnXT4-0005lq-BO for categories-list@mlist.mta.ca; Tue, 16 Jul 2019 21:06:46 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9955 Archived-At: Dear George, thanks for supplying that quote about Eilenberg. After emails with Peter May I had tracked down a secondary source that did not cite that Mac Lane article you give, so it's good to know the provenance of the claim. As far as people studying categories acknowledging the field by name goes, Peter Hilton in the intro to the Battelle conference proceedings in 1968 (titled Category theory, Homology theory and their applications, LNM 86, 92, and 99), writes thus in vol 1: "The object of this conference was to bring together research workers in the fields of category theory and homology theory and those who applied the results of these theories to their own mathematical disciplines within algebra or topology. Thus this was not, and was not intended to be, a tightly specialized conference in categorical algebra (by comparison with the Midwest Seminars), the expectation of its organizers being that the roles of category theory and homology theory within mathematics would emerge the more clearly from the conference and that the interplays of these theories with other parts of mathematics would be highlighted." Interestingly, Mac Lane contributed an article titled "Possible programs for categorists" (note: "categorists", not category theorists), in which he writes "Category theory today is both a specialty and a generality. Specialities are the many particular fields in which current Mathematical knowledge and folklore develops; a new specialty arises in a field when the knowledge in that field and its prospects of further development demand full time workers. In the last six or eight years, category theory has become a flourishing specialty." So we might have a lower bound of 1960-62 according to Mac Lane's written estimate as to when category theory started to 'became a flourishing speciality' (around the time of Freyd's thesis, it seems). Going back a few years in the publication record, the 1965 La Jolla conference was published as "Proceedings of the Conference on Categorical Algebra" (https://doi.org/10.1007/978-3-642-99902-4), so perhaps it was a lot more focussed in nature. However, the introduction states "The editors hope to have achieved a representative, if incomplete, cover=C2=AD age of the present activities in Categorical Algebra within the United States by bringing together this group of mathematicians and by solici=C2=ADting the articles contained in this volume. They also hope that these Proceedings indicate the trend of research in Categorical Algebra in this country." So it looks like 'categorical algebra' was at least a working phrase (modulo having to satisfy the United States Air Force Office of Scientific Research, which I read elsewhere was not pleased with having funded such abstract work, and promised to never fund such a conference again) In between these two there is the "Seminar on Triples and Categorical Homology Theory" (LNM 80): "The papers in this volume were presented to the seminar on category theory held during the academic year 1966-67 at the Forschungsinstitut f=C3=BCr Mathematik of the Eidgenossische Technische Hochschule, Z=C3=BCric= h." Someone pointed out off-list the reference to which Colin McLarty alluded: Rosen, Robert. 1958. =E2=80=9CThe Representation of Biological Systems from the Standpoint of the Theory of Categories.=E2=80=9D Bulletin of Mathemati= cal Biophysics 20 (4): 317=E2=80=9342. in which he talks of "the theory of categories and functors" in his abstract, and closes with "The application of category theory to more general kinds of systems becomes correspondingly more complicated, but at the very least, we hope to have indicated in the foregoing that the notion of systems introduced here can be put on a rigorous basis and that the results obtained by using those notions can be formally justified." Thanks to all who replied here and elsewhere. Best regards, and apologies for so many bit of historical trivia, David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Mon, 15 Jul 2019 at 00:19, George Janelidze wrote: > > 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=E2=80=93131), Saunders Mac Lane, talking a= bout [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 pap= er > needed for category theory. Probably what he had in mind was that the tri= o > of notions - category, functor, and natural transformation - was enough t= o > 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 =E2=80=9CFoundations of Algebraic Topology=E2=80= =9D. > This initial paper on category theory was certainly a =E2=80=9Cfar o= ut=E2=80=9D > endeavor; it might not have seen the light of day! Also the terminology w= as > largely purloined: =E2=80=9Ccategory=E2=80=9D from Kant, =E2=80=9Cnatural= =E2=80=9D from vector spaces and > =E2=80=9Cfunctor=E2=80=9D from Carnap. (It was used in a different sense = in Carnap=E2=80=99s > influential book =E2=80=9CLogical Syntax of Language=E2=80=9D; I had revi= ewed the English > translation of the book (in the Bulletin, AMS) and had spotted some error= s; > since Carnap never acknowledged my finding, I did not mind using his > terminology.) > Sammy=E2=80=99s initial idea that one paper would be enough turned o= ut to be > wildly wrong. Other basic examples such as adjoint functors were develope= d; > at Columbia University Sammy subsequently inspired and guided a remarkabl= e > group of young mathematicians who took up category theory: John Gray, Dan= iel > Kan, Bill Lawvere, Mike Barr, Jon Beck, Alex Heller, Peter Freyd, and man= y > 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 categor= ies > in it, and one might have different opinions on "which paper has the most > important contribution in transforming 'language' into 'theory'" (what ab= out > [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 le= t > 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 messag= es > on this topic. > > Best regards, > George > > Disclaimer - University of Cape Town This email is subject to UCT policie= s and email disclaimer published on our website at http://www.uct.ac.za/mai= n/email-disclaimer or obtainable from +27 21 650 9111. If this email is not= related to the business of UCT, it is sent by the sender in an individual = capacity. Please report security incidents or abuse via https://csirt.uct.a= c.za/page/report-an-incident.php. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]