Re: What about biproducts?

[rlk@knighten.org]

George Janelidze writes:
  > Dear All,
  >
  > Concerning categories with finite products enriched in commutative monoids:
  >
  > . . . Anyway, the main reason I am writing this message is that I think I
  > have a better name, although it is not my idea. It is
  >
  > "CATEGORY WITH BIPRODUCTS".

I want to second this.  When I earlier wrote that I was using "category with
direct sums" I did not mention that the alternative I use is "category with
biproducts".  The reason I mostly use direct sum rather than biproduct is that
it is familiar to students where biproduct is not, but "category with
biproducts" does seem a better choice for articles in category theory.

I liked Bill Lawvere's suggestion of linear category but it has at least two
alternative meanings in the literature and for my students the connection with
linear logic just causes too much confusion.

-- Bob

-- 
Robert L. Knighten
RLK@knighten.org


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]