Re: "Semi-additive" seems to be it

Re: "Semi-additive" seems to be it

[bourn]

Dear all,

I completely agree with George.

By the way, I studied such kind of categories (among others) in:
"Intrinsic centrality and associated classifying properties"
J. of Algebra, 256, 2002, 126-145.
I called them "linear", following Lawvere and Schanuel's "Conceptual
Mathematics".

Truly yours,

Dominique

I agree with


> May I try to protest against "plurality"?
>
> My reason of suggesting "half-" and not "semi-" is "semi-abelian". I
understand that "semi-" is suggested by "semigroup", but "semi-abelian"
was
> suggested by "semidirect products". Note that "semidirect products" are
defined categorically and a semi-abelian category is abelian if and only
if
> its semidirect products coincide with direct (that is, cartesian) products.
>
> Similarly, if a category with finite coproducts merely has semidirect
products, then it is additive if and only if its semidirect products
coincide with direct products.
>
> Another reason against
>
> "semi-additive = enriched in commutative monoids + has finite products"
>
> is that we do not want to identify monoids with semigroups, do we?
>
> And, surely, instead of saying that
>
> "While the category of commutative monoids is a motivating example of a
semi-additive category, the category of commutative semigroups is not
semi-additive"
>
> it is much better to say that
>
> "Semi- refers to semidirect products and not to semigroups".
>
> I hope to get support even from those who already made the opposite
suggestion...
>
> George
>
> P.S. Well, I always try to respect old terminology, but sometimes (what  can
> we do?) it is better to change it. By the way, many years ago Dmitrii
Raikov
> introduced another notion of "semi-abelian". As it turned out with help
of
> Yaroslav Kopylov, that Raikov semi-abelian means
>
> additive + regular + coregular
>
> It is an important notion with interesting examples, but what we call
semi-abelian today seemed to be so much more suitable to call
> "semi-abelian"!
>
>
> --------------------------------------------------
> From: "Michael Barr" <barr@math.mcgill.ca>
> Sent: Saturday, January 07, 2012 2:38 PM
> To: "Categories list" <categories@mta.ca>
> Subject: categories: "Semi-additive" seems to be it
>
>> Thanks for all the replies, but while there was consensus,
>> "semi-additive"
>> got a plurality and we will go with that.
>> 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/ ]
>
>
>
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
>






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

Re: "Semi-additive" seems to be it

[Robin Cockett]

Dear all,

I completely agree with Dominique and George!!!!

In response to Michael's posting I mentioned privately that Robert
Seely, Rick Blute, and I (and others) had, in our work on differential
categories, been using commutative monoid enriched categories and, to
avoid this mouthful, had just called them "additive".

Michael, as I expected did not like this at all as, of course, this
means to him Abelian Group enriched.  He did not like my suggestion
"subtactive" as a replacement for Abelian Group enriched categories
either :-)

Just to mix things up: as our work is closely related to linear logic
the direction of choosing "linear" was not attractive to us either:
"linear" in that context means something different again!

The stubborn fact is that there are only so many meaningful names.
When one does a piece of work one wants to give snappy names to the
important concepts in the work.  Trying for a globally acceptable
snappy name is almost impossible ... so I, for one, am happy to fall
back on local naming conventions to replace more cumbersome formal
names.  And am not above poaching a name if I think it actually
describes the concept well in that context.

So the point is I am absolutely happy with "commutative monoid
enriched category" as formal nomenclature and I am happy if an author
wants to do some local naming to make things more readable.

Of course, some choices are better than others!

I am afraid I also shudder at semi-additive: it suggests commutative
semigroup enrichment to me and relegates the concept to being a
secondary one ...

-robin
(Robin Cockett)





On Mon, Jan 9, 2012 at 1:47 AM,  <bourn@lmpa.univ-littoral.fr> wrote:
> Dear all,
>
> I completely agree with George.
>
> By the way, I studied such kind of categories (among others) in:
> "Intrinsic centrality and associated classifying properties"
> J. of Algebra, 256, 2002, 126-145.
> I called them "linear", following Lawvere and Schanuel's "Conceptual
> Mathematics".
>
> Truly yours,
>
> Dominique


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

What about biproducts?

[George Janelidze]

Dear All,

Concerning categories with finite products enriched in commutative monoids:

In my previous message I wrote "For instance Freyd and Scedrov call it
"half-additive" in their book, and I don't know any better name". And now I
am afraid I did not say it well: I was thinking that I don't know any better
accepted name, but would it be correct to call "half-additive" an accepted
name? 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".

Let me explain/recall, referring to Mac Lane's "Duality for Groups":

Assuming the existence of zero (=initial+terminal) object and therefore
having zero morphisms, Mac Lane introduces (using different notation)
free-and-direct product of two objects X and Y as a diagram of the form

X <--p-- Z --q--> Y

     --i-->      <--j--

with pi = 1, qj = 1, pj = 0, qi = 0 (cf. my previous message),

in which X <--p-- Z --q--> Y is a product (="direct product") diagram,
and X --i--> Z <--j-- Y is a coproduct (="free product") diagram.

Later "free-and-direct product" was called "biproduct" (I don't remember who
did it first, maybe I never knew that...).

This definition obviously extends to arbitrary collection of objects, not
just two (although Mac Lane does not mention that). And:

(a) the empty biproduct is nothing but the zero object; that is, defining
biproducts one actually begins with the empty one;

(b) if a category admits infinite biproducts, then it is indiscrete (=every
object in it is zero); therefore saying "category with biproducts" one
should always mean "category with finite biproducts" (and "finite" reduces
to "empty" and iterated "binary" of course).

So, a "category with biproducts" should be immediately understood as a
category satisfying the conditions of the original question of Michael.

(I hope everyone will forgive me for repeating those so well known things
above).

On the other hand, we have this attractive suggestion to say "N-linear"...
As Dominique observes, he used it in one of his papers following Lawvere and
Schanuel's "Conceptual Mathematics", and I also remember that "linear" was
Bill's idea (please correct me if I am wrong), and what Ross says sounds
very convincing (and Todd adds "initial rig", which is also good to say)...

Yet another argument - what Robin says about "globally acceptable snappy
names" is very strong too. And, as Robin says, "linear" might be in
disagreement with linear logic... My knowledge of linear logic is very close
to zero, but I would expect a protest from people working in linear algebra.
Telling them that matrices occur as morphisms from coproducts to products,
and that therefore matrices compose if and only if products and coproducts
"coincide", which (when they exist) is equivalent to the existence of "good"
addition of morphisms, might convince them to learn some category theory,
but telling them that "everything linear" is "just" about commutative
monoids might have the opposite effect. I know it is funny, but they will
tell us something like: "N is not linear, it is discrete!"

One more possibility would be to use "N-linear" for "commutative monoid
enriched", but, following Robin, I think "commutative monoid enriched" is
itself not bad, and it can be shorten as "AbM-category" (since Ab-category
is often used for "enriched in abelian groups").

Trying to summarize, I think my best answer to Michael's question would be
"category with biproducts". But I am not against "N-linear" as much as I am
against "semi-additive". I think, however, "N-linear" makes sense only if
many authors will use it. "Half-additive" is more neutral: it is very
unlikely that experts of any area of mathematics will find it contradictory
to the terminology they use.

With Old Style New Year Greetings-

George



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

Re: What about biproducts?

[Michael Barr]

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/ ]

Re: What about biproducts?

[rlk]

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/ ]

Re: "Semi-additive" seems to be it

[Ross Street]

Dear All

The concept of category enriched in commutative monoids is a very
basic structure and it is important to find a suitable name.
I must say I like the term "linear" mentioned by Dominique since the
term "k-linear" is commonly used for "enriched in vector spaces over k".
Hence there is no conflict if we extend to the case where k is a ring
or a rig.
Since the natural numbers is the basic example of a rig, we can drop
the k in this case.

Best wishes,
Ross

On 09/01/2012, at 7:47 PM, bourn@lmpa.univ-littoral.fr wrote:

> By the way, I studied such kind of categories (among others) in:
> "Intrinsic centrality and associated classifying properties"
> J. of Algebra, 256, 2002, 126-145.
> I called them "linear", following Lawvere and Schanuel's "Conceptual
> Mathematics".


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

Re: "Semi-additive" seems to be it

[Todd Trimble]

I also find "linear" an attractive option. Just to circumvent any
confusion (e.g. with linear in the sense of linear logic, or with
the question that may arise: linear over what?), one could say
"N-linear" where N is of course the initial rig, as alluded to by
Ross.  I would hope that "N-linear category" is sufficiently
unambiguous to get the meaning across, and sufficiently snappy.

Best regards,

Todd

----- Original Message -----
From: "Ross Street" <ross.street@mq.edu.au>
To: <bourn@lmpa.univ-littoral.fr>
Cc: "Categories list" <categories@mta.ca>
Sent: Monday, January 09, 2012 9:35 PM
Subject: categories: Re: "Semi-additive" seems to be it


> Dear All
>
> The concept of category enriched in commutative monoids is a very
> basic structure and it is important to find a suitable name.
> I must say I like the term "linear" mentioned by Dominique since the
> term "k-linear" is commonly used for "enriched in vector spaces over k".
> Hence there is no conflict if we extend to the case where k is a ring
> or a rig.
> Since the natural numbers is the basic example of a rig, we can drop
> the k in this case.
>
> Best wishes,
> Ross
>

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

Re: What about biproducts?

[Vaughan Pratt]

On 1/13/2012 11:35 PM, Robin Cockett wrote:
> First a disclaimer:  I do not claim to be a huge expert on what linear
> logicians actually mean by "linear"!!!  Indeed, the meaning of the word --
> to linear logicians -- has definitely changed and expanded over time.
> Indeed as linear logic developed the word "linear" tended to travel with
> researchers as they focused on their favourite aspects of the logic ...
> even if it was not, perhaps, the original motivation for using the word
> (e.g "linear bicategories", "linear functors" etc.).

While the positive connotation of "linear" is "very straight," the
negative connotation is "quadratics and higher not allowed."

It's hard to know on whom to blame cartesian closed categories.  Cantor
maybe?  The genius who invented x squared (several millennia earlier)?
The diagonal functor is a sine qua non here.

The central and unchanging point with "linear" is that you aren't
allowed to use the same variable twice in the one expression.  Whether
you view doing so as the moral equivalent of drawing the last shilling
out of your bank account twice, or attempting to apply the diagonal
functor when the system protests that it's undefined, it all comes down
to the same thing.

To duplicate or not to duplicate, that is the only question.

(Which may or may not subsume "To be or not to be" depending on whether
you prefer to treat zeroary duplication separately.)

Vaughan Pratt


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

"Semi-additive" seems to be it

[Michael Barr]

Thanks for all the replies, but while there was consensus, "semi-additive"
got a plurality and we will go with that.

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/ ]

Re: "Semi-additive" seems to be it

[George Janelidze]

May I try to protest against "plurality"?

My reason of suggesting "half-" and not "semi-" is "semi-abelian". I
understand that "semi-" is suggested by "semigroup", but "semi-abelian" was
suggested by "semidirect products". Note that "semidirect products" are
defined categorically and a semi-abelian category is abelian if and only if
its semidirect products coincide with direct (that is, cartesian) products.

Similarly, if a category with finite coproducts merely has semidirect
products, then it is additive if and only if its semidirect products
coincide with direct products.

Another reason against

"semi-additive = enriched in commutative monoids + has finite products"

is that we do not want to identify monoids with semigroups, do we?

And, surely, instead of saying that

"While the category of commutative monoids is a motivating example of a
semi-additive category, the category of commutative semigroups is not
semi-additive"

it is much better to say that

"Semi- refers to semidirect products and not to semigroups".

I hope to get support even from those who already made the opposite
suggestion...

George

P.S. Well, I always try to respect old terminology, but sometimes (what can
we do?) it is better to change it. By the way, many years ago Dmitrii Raikov
introduced another notion of "semi-abelian". As it turned out with help of
Yaroslav Kopylov, that Raikov semi-abelian means

additive + regular + coregular

It is an important notion with interesting examples, but what we call
semi-abelian today seemed to be so much more suitable to call
"semi-abelian"!


--------------------------------------------------
From: "Michael Barr" <barr@math.mcgill.ca>
Sent: Saturday, January 07, 2012 2:38 PM
To: "Categories list" <categories@mta.ca>
Subject: categories: "Semi-additive" seems to be it

> Thanks for all the replies, but while there was consensus, "semi-additive"
> got a plurality and we will go with that.
>
> 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/ ]



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

Re: "Semi-additive" seems to be it

[FEJ Linton]

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/ ]