From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5560 Path: news.gmane.org!not-for-mail From: Toby Bartels Newsgroups: gmane.science.mathematics.categories Subject: Re: Question on terminology Date: Fri, 5 Feb 2010 16:12:24 -0800 Message-ID: References: Reply-To: Toby Bartels NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1265463082 27668 80.91.229.12 (6 Feb 2010 13:31:22 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 6 Feb 2010 13:31:22 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Sat Feb 06 14:31:19 2010 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 1Ndkkm-0001qA-2q for gsmc-categories@m.gmane.org; Sat, 06 Feb 2010 14:31:16 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NdkGH-0001lu-6R for categories-list@mta.ca; Sat, 06 Feb 2010 08:59:45 -0400 Content-Disposition: inline In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5560 Archived-At: lamarche wrote: >Is there a standard accepted name for categories all whose morphisms are >both epi and mono? ... >Another >possiblility would be "cancellation categories" (they have both the left >and right cancellation property), but I'm not sure I like this one. I believe that the usual term in monoid theory would be "cancellative monoid" (not "cancellation monoid"). Google gets relevant hits for "cancellative category", although that might not appeal to you any better. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]