From lojban+bncCMGclZyxExDv_PfvBBoE4wAq7w@googlegroups.com Sun Jun 19 06:49:51 2011 Received: from mail-qy0-f189.google.com ([209.85.216.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QYINl-0001xr-Ey; Sun, 19 Jun 2011 06:49:50 -0700 Received: by qyk31 with SMTP id 31sf2516859qyk.16 for ; Sun, 19 Jun 2011 06:49:39 -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=RKG3HsVGfxlC6zyuMXBQr2s4EeUaMQc5x4lKaLDlhig=; b=XZVE+07+AXBGQa0Rq2532ksXS068647qfaaahtSoQDX7zusxx3vrOPYZxr0WG0ZblD vXgmkRWeCqZlPFHYS6fSGpo0p9hfGJ95yhHX/1Nd86qpL2OzQ2QsUMQdWb0psqLw9VVu np1xeVYtLyymtVqnq19Ip8C9FJbjYcRYfPQ4M= 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=uKyEfREt4RVHUmhANAr+WzODhKKYGjCsnA+Ot0gLkMqtrB7EDU4UaNWsdisBPHOR5Q AXnaOpHt4VQ6G7Z7YHJx7rfs7N3ujQPruv9Bv+qm3yrv9atGHUieMGYcDKYA5ZJNmKvW 9eNSa1qdaJDHmLDc+tChe4ob5o9+WdRSjew94= Received: by 10.224.210.198 with SMTP id gl6mr401174qab.21.1308491375606; Sun, 19 Jun 2011 06:49:35 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.224.67.145 with SMTP id r17ls10546qai.5.gmail; Sun, 19 Jun 2011 06:49:35 -0700 (PDT) MIME-Version: 1.0 Received: by 10.224.217.7 with SMTP id hk7mr444977qab.2.1308491374986; Sun, 19 Jun 2011 06:49:34 -0700 (PDT) Received: by q1g2000vbj.googlegroups.com with HTTP; Sun, 19 Jun 2011 06:49:34 -0700 (PDT) Date: Sun, 19 Jun 2011 06:49:34 -0700 (PDT) In-Reply-To: <201106190110.15350.phma@phma.optus.nu> References: <484951.98299.qm@web81306.mail.mud.yahoo.com> <201106190110.15350.phma@phma.optus.nu> 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: <74461f07-51b3-4e99-8c4f-a89cb360367e@q1g2000vbj.googlegroups.com> 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 I studied in preparatory classes for engineer schools and got an admissible status to Ecole Normale, then pursued to a license level. But this was a long time ago, and I shifted to cognitive sciences, and linguistics later, so my memories are not so fresh as those of still- studying maths guys... I know some abstract algebra, a little complex analysis and p-adic math, calculus, graph theory, probability, statistics, but I never thoroughly dipped into category theory. At any rate, I still remember enough of maths to argue, say, that in theory set the "somme disjointe" and cartesian product do recall some properties of addition and multiplication, for instance. I'm quite sure that every mathematician will agree that the disjunct sum of { a, b, c } and { a, b } is << like >> the sum of 3 and 2, whereas the cartesian product { a, b, c } X { a, b } captures the properties of the product 3 x 2 = 6. This is rather intuitive, but I think it is the kernel of linguistic considerations about what mathematical beings carry with themselves at linguistic level. -- .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.