From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/912 Path: news.gmane.org!not-for-mail From: boerger Newsgroups: gmane.science.mathematics.categories Subject: Re: Reference? Date: Tue, 3 Nov 1998 12:19:11 +0100 Organization: FernUniversitaet - Gesamthochschule Message-ID: <199811031118.HAA12375@mailserv.mta.ca> References: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7BIT X-Trace: ger.gmane.org 1241017323 28266 80.91.229.2 (29 Apr 2009 15:02:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:02:03 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Tue Nov 3 21:22:34 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id UAA17314 for categories-list; Tue, 3 Nov 1998 20:16:58 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f In-reply-to: X-mailer: Pegasus Mail for Win32 (v2.54DE) Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 13 Xref: news.gmane.org gmane.science.mathematics.categories:912 Archived-At: The result that finite products coincide with finite coproducts in categories enriched commutative monoids can be found in Herrlich`s and Strecker`s book under 40.8 (p.308 in the 2nd edition). The converse is given there under 4.12 (p.310). They use the term "semi-additive category", which I am also used to. Though I agree with Bill Lawvere that prefixes like "semi" should be omitted if possible, I am not convinced by his suggestion "linear categeory" because for me subtraction seems essential fo linear algebra. Maybe somebody invents a better term. Greetings Reinhard