Re: What about biproducts?

Actually, I like "biproducts" at least when the category has them. Which it does in the situation we are working in and probably not important otherwise. To me "linear" would suggest a monoidal closed category, maybe *-autonomous. 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/ ]