Well, how experienced are you? And experience in on= e area of advanced mathematics need not carry over to others. though, by it= s nature, someone in category theory probably knows a bit about some other = areas. The reverse is markedly not true as a rule.
If the present = problem is merely terminological, as it seems to be, then extensive knowled= ge is not needed -- we can either follow mathematical usage or insist on di= stinctions of some sort that usage does not., leaving context to decide.

From: Alex Rozenshteyn <rpglover64@gmail.com>
To:<= /span> lojban@googlegroups.com
Sent: Sat, June 18, 2011 10:44:14 AM
Subject: Re: [lojban] Re: Category theory in lojb= an, or coining words

mu'i lo su'u kucli ku da xu .e ma vu'o poi ke'a se mriste ti curve bo cmaci= certu zmadu be mi

Out of curiosity, is anyone on this list more exp= erienced in pure math (pardon the malgli) than I am?

On Sat, Jun 18, 2011 at 5:50 AM, Escape Land= some <escaaape@gma= il.com> wrote:

coi

What this suggests me is that some inheritance mechanism is necessary.

For instance, one can argue that addition in the case of natural
numbers is a particular case of concatenation for sequences of the
same unit "I".

(i.e.: III & IIII =3D IIIIIII captures the meaning of 3 + 4 =3D 7= , yet
concatenation is more general than addition, for IIJ & JJII =3D IIJJJII=
has no equivalent in the natural integers set)

So, if there were a word for "concatenation", say this is the word C,
it should bear some relation with the word for "integer addition", say
it is the word A.

C ---> A

For the same reason, "integer addition" should bear a strong
relationship with real addition, or complex addition.

Natural languages resolve this problem by using the word "sum" for all
additions, and by coining usages of "con-caten-ation", or ' other
types of "sums" ' for the other cases...

Regards

-- .esk

--
You received this message because you are subscribed to the Google Groups "= lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegro= ups.com.
For more options, visit this group at http://groups.google.com/group/lojba= n?hl=3Den.

Alex R

--
You received this message because you are subscribed to the Google Groups "= lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojba= n?hl=3Den.