From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2913
Path: news.gmane.org!not-for-mail
From: Peter Freyd <pjf@saul.cis.upenn.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: re: semigroups with many objects
Date: Mon, 28 Nov 2005 07:26:29 -0500 (EST)
Message-ID: <200511281226.jASCQTx3009541@saul.cis.upenn.edu>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241018980 6337 80.91.229.2 (29 Apr 2009 15:29:40 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:29:40 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Mon Nov 28 12:08:06 2005 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Mon, 28 Nov 2005 12:08:06 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52)
	id 1EglTx-0001wR-35
	for categories-list@mta.ca; Mon, 28 Nov 2005 12:03:57 -0400
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 58
Original-Lines: 11
Xref: news.gmane.org gmane.science.mathematics.categories:2913
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2913>

Jacobson coined "rng" for a ring without identity and Bill returned
the favor by proposing "rig" for a ring without negation (at least
Bill's proposal can be pronounced). Alas, "catgory" is the only
approximation for the instant case -- the only one, that is, if you
refuse to count "ctegory" (category without automorphisms).

Seriously though, "semi-category" is the one proposal not needing
explanation. May I suggest that its very obviousness is why it was
avoided.