From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7140 Path: news.gmane.org!not-for-mail From: Ross Street Newsgroups: gmane.science.mathematics.categories Subject: Re: "Semi-additive" seems to be it Date: Tue, 10 Jan 2012 13:35:27 +1100 Message-ID: References: Reply-To: Ross Street NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v936) Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1326207376 19328 80.91.229.12 (10 Jan 2012 14:56:16 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 10 Jan 2012 14:56:16 +0000 (UTC) Cc: "Categories list" To: bourn@lmpa.univ-littoral.fr Original-X-From: majordomo@mlist.mta.ca Tue Jan 10 15:56:10 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 1Rkd7R-0006KE-It for gsmc-categories@m.gmane.org; Tue, 10 Jan 2012 15:56:09 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:50105) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1Rkd6g-0005vk-W9; Tue, 10 Jan 2012 10:55:23 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Rkd6g-0004g3-Ki for categories-list@mlist.mta.ca; Tue, 10 Jan 2012 10:55:22 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7140 Archived-At: Dear All The concept of category enriched in commutative monoids is a very basic structure and it is important to find a suitable name. I must say I like the term "linear" mentioned by Dominique since the term "k-linear" is commonly used for "enriched in vector spaces over k". Hence there is no conflict if we extend to the case where k is a ring or a rig. Since the natural numbers is the basic example of a rig, we can drop the k in this case. Best wishes, Ross On 09/01/2012, at 7:47 PM, bourn@lmpa.univ-littoral.fr wrote: > By the way, I studied such kind of categories (among others) in: > "Intrinsic centrality and associated classifying properties" > J. of Algebra, 256, 2002, 126-145. > I called them "linear", following Lawvere and Schanuel's "Conceptual > Mathematics". [For admin and other information see: http://www.mta.ca/~cat-dist/ ]