8 Jan
2012
8 Jan
'12
9:14 p.m.
On Sat, 7 Jan 2012 21:48:24 +0200, George Janelidze protested against:
"semi-additive = enriched in commutative monoids + has finite products"
I can appreciate George's motivations. I voice here only my hope that for "enriched in commutative monoids" we not retool "commutative monoidal" -) . Cheers, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]