From lojban+bncCMGclZyxExDo6fHvBBoEXFJo1g@googlegroups.com Sat Jun 18 02:50:44 2011 Received: from mail-yw0-f61.google.com ([209.85.213.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QXsAs-0006gW-Np; Sat, 18 Jun 2011 02:50:44 -0700 Received: by ywt32 with SMTP id 32sf3130237ywt.16 for ; Sat, 18 Jun 2011 02:50:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:mime-version:date:in-reply-to :references:user-agent:x-http-useragent:message-id:subject:from:to :x-original-sender:reply-to:precedence:mailing-list:list-id :x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=TBX1/3x0w1NWZ/mLCGyrmS45B7Qi4am6jtFillZSPPU=; b=UvRSdmiNXb4RYhDH5XzMnN9oDP9Dzcb2BjoXahJZE/0XZ2gFlTs1MBC4Gxnyb2XLXR gggJSEFD9nH1TmmyiDutAhFeKOJPKm+RaLeR68KXISy1ltR2ZGkoAsovXWogUmIqMtjx EO/sQJNDTaVyW0OlfKg8Cl+q0rni7HPpQJtcE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:mime-version:date:in-reply-to:references:user-agent :x-http-useragent:message-id:subject:from:to:x-original-sender :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; b=oDyOC3bTjBZQppMerXkb9OWLfU0+q9qbdJ4sRoA7MV8CrGdmCOEoAEVXnrIfmbwOUN GeX/8J0oFetVhBIuCOLCf4L0ltT78mYs3nqWcn/j7KFTNrXs5/sIP4sB2qedsYz7p34l PlPcRhGQ56V36oVdI308jdrxwZTSV8jj12cm0= Received: by 10.90.11.14 with SMTP id 14mr279073agk.38.1308390632753; Sat, 18 Jun 2011 02:50:32 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.91.73.27 with SMTP id a27ls717576agl.3.gmail; Sat, 18 Jun 2011 02:50:31 -0700 (PDT) MIME-Version: 1.0 Received: by 10.90.7.31 with SMTP id 31mr299813agg.27.1308390631603; Sat, 18 Jun 2011 02:50:31 -0700 (PDT) Received: by u10g2000yqh.googlegroups.com with HTTP; Sat, 18 Jun 2011 02:50:31 -0700 (PDT) Date: Sat, 18 Jun 2011 02:50:31 -0700 (PDT) In-Reply-To: References: User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.9.1.9) Gecko/20100401 Ubuntu/9.10 (karmic) Firefox/3.5.9,gzip(gfe) Message-ID: Subject: [lojban] Re: Category theory in lojban, or coining words From: Escape Landsome To: lojban X-Original-Sender: escaaape@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 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.