From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7132 Path: news.gmane.org!not-for-mail From: Robin Houston Newsgroups: gmane.science.mathematics.categories Subject: Re: Name for not-quite-additive categories Date: Sat, 7 Jan 2012 08:02:12 +0000 Message-ID: References: Reply-To: Robin Houston NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (1.0) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1325945653 27391 80.91.229.12 (7 Jan 2012 14:14:13 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 7 Jan 2012 14:14:13 +0000 (UTC) Cc: Categories list To: Michael Barr Original-X-From: majordomo@mlist.mta.ca Sat Jan 07 15:14:08 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RjX27-0005gn-LG for gsmc-categories@m.gmane.org; Sat, 07 Jan 2012 15:14:07 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:40747) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1RjX1E-0002kk-Vx; Sat, 07 Jan 2012 10:13:13 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RjX1E-000768-LO for categories-list@mlist.mta.ca; Sat, 07 Jan 2012 10:13:12 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7132 Archived-At: The term semiadditive has been used for at least 45 years[1], and is still i= n use today[2]. It's not used all that often, but it has a good pedigree and= is unambiguous. Robin 1. Barry Mitchell, Theory of Categories, 1965, section 1.18 2. http://ncatlab.org/nlab/show/biproduct#semiadditive_categories_11 On 6 Jan 2012, at 19:04, Michael Barr wrote: > Has anyone settled on a term to describe categories (such as commutative > monoids) in which finite sums and products coincide but are not quite > additive? I guess they are commutative monoid enriched. >=20 > Michael >=20 > --=20 > Any society that would give up a little liberty to gain a little > security will deserve neither and lose both. >=20 > Benjamin Franklin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]