From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5827 Path: news.gmane.org!not-for-mail From: "George Janelidze" Newsgroups: gmane.science.mathematics.categories Subject: Re: "injective" terminology Date: Fri, 21 May 2010 00:04:44 +0200 Message-ID: References: Reply-To: "George Janelidze" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1274454329 10335 80.91.229.12 (21 May 2010 15:05:29 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 21 May 2010 15:05:29 +0000 (UTC) To: Original-X-From: categories@mta.ca Fri May 21 17:05:24 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 1OFTmt-0005jn-La for gsmc-categories@m.gmane.org; Fri, 21 May 2010 17:05:23 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OFT8M-0003Mu-A4 for categories-list@mta.ca; Fri, 21 May 2010 11:23:30 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5827 Archived-At: What makes it worse, there are also "product projections" and "coproduct injections" that might be "non-surjective" and "non-injective" respectively... And, generally speaking, mathematics can contribute a lot to the discussion in e.g. http://home.alphalink.com.au/~umbidas/Homonyms_main.htm#cape I would like, however, to make a comment about "free" and "fascist" used by Saunders Mac Lane: I don't think Saunders had ever defined "a free object in a category" to mean "projective"; if I am wrong, please correct me. What he really did - in [S. Mac Lane, Duality for groups, Bull. AMS 56, 1950, 485-516] - was: (a) Theorem 1.1, which, expressed in the modern language, would say that an abelian group is free if and only if it is a projective object in the category of abelian groups. (b) Remark that the same result holds for free (nonabelian) groups (in the category of groups). (c) Then he defines "infinitely divisible" abelian groups and proves Theorem 1.1', which, expressed in the modern language, would say that an abelian group is ("infinitely") divisible if and only if it is an injective object in the category of abelian groups. (d) Then he discusses "duality" - very interesting, since it is one of the first clear suggestions to consider dual properties (although there is another paper he published in 1948). And, by the way, "onto" is also mentioned - not "surjection", while later (page 497) there are "injections" and "projections" with different meanings (reading there about what he calls a "bicategory" one should essentially think of a factorization system...). (e) Then in a footnote he says: "Call the dual (in this sense) of a free (nonabelian) group a fascist group. R. Baer has shown to me a proof of the elegant theorem: every fascist group consists only of the identity element." Well, it is clear that "fascist" was ironic, but how seriously would Saunders Mac Lane think of introducing "a free object in a category" 60 years ago, I don't know... Finally - for those who had not seen "Duality for groups" - I must mention that a lot more of categorical algebra was invented there... George ----- Original Message ----- From: "Michael Barr" To: "Prof. Peter Johnstone" Sent: Wednesday, May 19, 2010 11:59 AM Subject: categories: Re: "injective" terminology > Perhaps I didn't make it clear that monomorphism is not always the same as > 1-1 in a concrete category. As for Peter's suggestion below, the > terminology of injective for objects is as well established as the use of > the same word for maps. When I was a student, we talked of 1-1 maps and > onto maps and I never heard the words injective and surjective. But > injective and projective objects followed well-established usage, > certainly by the 1950s and probably well before. Somebody (Mac Lane?) > once tried using fascist, dual to free, instead of injective. But of > course, not every projective is free and, in any case, this never got any > traction. > > Michael > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]