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

Re: What about biproducts?

[Fred E.J. Linton]

On Sat, 14 Jan 2012 09:51:24 AM EST, George Janelidze <janelg@telkomsa.net>
wrote:

> ... What about biproducts? ...
>
> ... [snip] ...
>
> (b) if a category admits infinite biproducts, then it is indiscrete (=every
> object in it is zero) ...

Let me refute that by channeling the voice of Dana May Latch, the late 
Alex Heller's student-of-yore, who stumped me once, decades ago, by asking:

: What do you call a category where products and coproducts coincide?

I confessed I had no idea, I had not even an example of that phenomenon,
and she immediately offered the example (which I hereby share with George)
of sup-complete sup-semilattices (with bottom element (of course)), and
sup (and bottom-element) -preserving maps.

If L_i are such semilattices, with bottom elements 0_i, and L is their 
product, with projections p_i: L --> L_i, the functions j_i: L_i --> L
defined by p_n(j_i) = id_L_i (n=i), p_n(j_i) = 0_n (otherwise) display
the product L as a coproduct of the L_i.

Indeed, given a family of sup-preserving maps f_i: L_i --> T to a 
sup-complete test sup-semilattice T, the solution f: L --> T to the
associated universal mapping problem j_i(f) = f_i is given simply by

f(l) = f((..., l_i, ...)) = sup_i(f_i(l_i)) (l = (..., l_i, ...) &isin; L).

In fact, one may thus even see id_L as the sup of all the compositions
j_i(p_i), much as happens (using addition) for the biproduct of modules,
only using not addition but the infinitary "N-linear" or "semi-additive" 
structure relevant to the category of sup-complete sup-semilatiices.

Even more, as Dana May knew already back whenever that was, the
examples of &aleph;-complete sup-semilattices illustrate that one can 
have categories in which products and coproducts of up to &aleph; objects
coincide, but larger ones differ -- for pretty much any &aleph; (by
"pretty much any" should I probably mean "any regular cardinal", i.e., 
any cardinal not the sum of fewer smaller cardinals? I'm not sure).

If Dana May is lurking in the background, reading these communications,
I'd sure be glad to learn more from her what finally became of the line
of thinking these considerations were part of, and what terminology she
settled on for such "infinite biproducts" and for categories having them.

Cheers, -- Fred Linton



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

Re: What about biproducts?

[Vaughan Pratt]

On 1/14/2012 2:22 PM, Fred E.J. Linton wrote:
> Let me refute [that] by channeling the voice of Dana May Latch, the late
> Alex Heller's student-of-yore, who stumped me once, decades ago, by asking:
>
> : What do you call a category where products and coproducts coincide?
>
> I confessed I had no idea, I had not even an example of that phenomenon,

Fred, you *surely* meant something else by this.

> and she immediately offered the example (which I hereby share with George)
> of sup-complete sup-semilattices (with bottom element (of course)), and
> sup (and bottom-element) -preserving maps.

Dana was sufficiently taken with CSLat as to publish a short note on
some of its properties (JPAA? AU?), prompting Peter Johnstone to write a
review of her note to the effect that she should have exploited its
self-duality to make her note even shorter.  (Peter could have set a
good example by making his review a lot shorter.  They were both young
back then, with all that implies, but come to think of it so were we
all, including you, Fred.)

One might ask what is the least change to CSLat breaking this property
while retaining most of what makes it interesting.  I found one answer
to this at

http://boole.stanford.edu/pub/es.pdf

in the course of answering a different question: is there a
non-degenerate model of linear logic that models the duality of time and
information and of events and states?  My suggestion was to leave the
(non-empty) meet-join structure of CSLat and its dual unchanged while
switching top and bottom.  The result was cute and good for a few papers
but eventually I saw the light and switched to Chu spaces which answered
my original question much better, albeit without as tight a connection
to CSLat (it's just a tiny subcategory of Chu(Set,2), and anyway these
days I work in Chu(Set,4) when not hacking climate, Euclid, etc.).

Vaughan

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

Re: What about biproducts?

[Vaughan Pratt]

On 1/15/2012 3:14 PM, George Janelidze wrote:
> Many thanks to Fred, and I apologize for my "blind spot" with infinite
> biproducts.

I'm afraid I must make the same apology, I completely overlooked the
finite-infinite distinction.  I withdraw my comments on that point.
CSLat was not much in the air back then and Dana and Peter seemed to be
among the few acquainted with it.

Vaughan


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