Re: [lojban] Re: Category theory in lojban, or coining words

[John E Clifford <kali9putra@yahoo.com>]

Well, how experienced are you?  And experience in one area of advanced mathematics need not carry over to others. though, by its 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 knowledge is not needed -- we can either follow mathematical usage or insist on distinctions of some sort that usage does not., leaving context to decide.

---

From: Alex Rozenshteyn <rpglover64@gmail.com>
To: lojban@googlegroups.com
Sent: Sat, June 18, 2011 10:44:14 AM
Subject: Re: [lojban] Re: Category theory in lojban, 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 experienced in pure math (pardon the malgli) than I am?

On Sat, Jun 18, 2011 at 5:50 AM, Escape Landsome <escaaape@gmail.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 = IIIIIII captures the meaning of 3 + 4 = 7, yet
concatenation is more general than addition, for IIJ & JJII = 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@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.

--

          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@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.

-- 
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@googlegroups.com.

For more options, visit this group at http://groups.google.com/group/lojban?hl=en.