From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5818 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: "injective" terminology Date: Tue, 18 May 2010 09:38:35 -0400 (EDT) Message-ID: Reply-To: Michael Barr NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: dough.gmane.org 1274225523 11917 80.91.229.12 (18 May 2010 23:32:03 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 18 May 2010 23:32:03 +0000 (UTC) To: Categories list Original-X-From: categories@mta.ca Wed May 19 01:32:02 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 1OEWGX-0005TF-QL for gsmc-categories@m.gmane.org; Wed, 19 May 2010 01:32:01 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1OEVlf-0007BM-2m for categories-list@mta.ca; Tue, 18 May 2010 20:00:07 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5818 Archived-At: Since there has been such a lively discussion of language (which I have kept out of because I have seen too many papers start out by saying, "By ring, we mean a commutative ring with unit"), I though I would bring up one that has long bothered me. There are too many contexts in which you have a concrete category (say of compact hausdorff spaces) in which you are dealing with both injective objects and 1-1 maps that I feel we need a better word for the latter than "injective". Of course, I could just revert to 1-1 and perhaps I will. But we have "projective" and "surjective" for the dual. This suggests "superjective", except that that is so ugly. Any thoughts? Michael P.S. I originally used *-autonomous to mean symmetric and then I wrote a paper called, "Non-symmetric *-autonomous categories", so I am just as guilty. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]