The term semiadditive has been used for at least 45 years[1], and is still in 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 <barr@math.mcgill.ca> 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.
Michael
-- Any society that would give up a little liberty to gain a little security will deserve neither and lose both.
Benjamin Franklin
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]