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/ ]