7 Jan
2012
7 Jan
'12
7:04 p.m.
Michael Barr writes:
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
I've been writing of direct sums when sums and products coincide and then of categories with direct sums. -- Bob [For admin and other information see: http://www.mta.ca/~cat-dist/ ]