From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9947 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Colin McLarty Newsgroups: gmane.science.mathematics.categories Subject: Re: "First" use of 'Category theory' to describe our field Date: Fri, 12 Jul 2019 17:04:57 -0400 Message-ID: References: Reply-To: Colin McLarty Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="116638"; mail-complaints-to="usenet@blaine.gmane.org" To: "categories@mta.ca list" Original-X-From: majordomo@mlist.mta.ca Sat Jul 13 21:05:38 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 1hmNL0-000UAg-9j for gsmc-categories@m.gmane.org; Sat, 13 Jul 2019 21:05:38 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:34731) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hmNKC-0004sR-Dx; Sat, 13 Jul 2019 16:04:48 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hmNJP-0000rR-Sj for categories-list@mlist.mta.ca; Sat, 13 Jul 2019 16:03:59 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9947 Archived-At: I don't think anyone used the term category theory (in the mathematical sense) before mathematical biologist Robert Rosen in 1958. That is the earliest reference known to Math Reviews. Not surprising, it was slow to spread from Rosen into the field. Saunders mentioned "the theory of categories" once in his 1963 book Homology (p. 34). In that book he writes repeatedly of set theory, group theory, homology theory, and many others, but not once "category theory". One other datum: Freyd's 1960 dissertation was titled "Functor theory," but "category theory" occurs in the introduction to the 1964 book version. Category theory was a very common term by the late 1960s. Good question about "category theorist." I have no idea but expect it came several years later. It is not used very formally, and searching it on Math Reviews gives only 15 hits in the entire database. Colin On 7/10/19 7:01 AM, David Roberts wrote: >> Hi all, >> >> the (idle) question is: when did the phrase 'category theory' catch on >> for the field? Clearly it didn't leap from either of the heads of >> Eilenberg or Mac Lane full-grown, since they used the phrase 'General >> theory of natural equivalences'. There are the old 'Reports of the >> Midwest Category Seminar' lecture notes (the first in 1967), which >> hints that 'category theory' wasn't quite the name in use. >> >> Even more interesting: who was the first "category theorist", by that > name? >> >> Answers referring to verifiable sources would be best. >> >> Thoughts? >> >> David >> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]