From lojban+bncCOib25n_BhCGh7rvBBoE-S3lVA@googlegroups.com Tue Jun 07 13:01:24 2011 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QU2Sn-0002GD-R0; Tue, 07 Jun 2011 13:01:23 -0700 Received: by fxm14 with SMTP id 14sf108275fxm.16 for ; Tue, 07 Jun 2011 13:01:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:mime-version:sender :date:message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type; bh=ngnUXCPtS1ScrIVfSMe+8DJpI0S4cnVX9nuhAwPZ4Nc=; b=z7cuap3q+wjDRnc5w+s1Obx3EjGO7/Rpi86iX7/ntBiAoIyAXKbjfNlJuWWmqJpUPi ZNiZGUTxJKXDgxq3YJwIt5hFBUOVGkYgd0GIi9SiV47xa9MsUf8jMftJr6EbSKzm3Zcr PwB4FitvB1ffeYQVo3r2Hs2KP+vpZDmijWOok= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:sender:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe :content-type; b=6DkeJXN3cbIJ/eySHNN8XxctcIXpLzNe/ISXbLsk8D5Obpmxlq4A3pdlHVIDXxZRDC ZRH+NSqmtmWN1vkjjQSk0bvY4PXuXHJpahsEYxJuHBNml88o4fUNs473dk2A8BoVMGne nC3fZqWfhJS4MurmgaRBYdqw+9tiIcuXNXPVs= Received: by 10.223.2.196 with SMTP id 4mr1038503fak.19.1307476870475; Tue, 07 Jun 2011 13:01:10 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.204.34.76 with SMTP id k12ls2341594bkd.0.gmail; Tue, 07 Jun 2011 13:01:08 -0700 (PDT) Received: by 10.204.164.2 with SMTP id c2mr808543bky.21.1307476868716; Tue, 07 Jun 2011 13:01:08 -0700 (PDT) Received: by 10.204.164.2 with SMTP id c2mr808542bky.21.1307476868686; Tue, 07 Jun 2011 13:01:08 -0700 (PDT) Received: from mail-bw0-f43.google.com (mail-bw0-f43.google.com [209.85.214.43]) by gmr-mx.google.com with ESMTPS id y18si3452874bkf.2.2011.06.07.13.01.08 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 07 Jun 2011 13:01:08 -0700 (PDT) Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.43 as permitted sender) client-ip=209.85.214.43; Received: by mail-bw0-f43.google.com with SMTP id 14so71822bwz.30 for ; Tue, 07 Jun 2011 13:01:08 -0700 (PDT) MIME-Version: 1.0 Received: by 10.204.24.4 with SMTP id t4mr364047bkb.109.1307476868431; Tue, 07 Jun 2011 13:01:08 -0700 (PDT) Sender: lojban@googlegroups.com Received: by 10.204.124.7 with HTTP; Tue, 7 Jun 2011 13:01:08 -0700 (PDT) Date: Tue, 7 Jun 2011 16:01:08 -0400 Message-ID: Subject: [lojban] Category theory in lojban, or coining words From: ".arpis." To: Lojban X-Original-Sender: rpglover64@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of rpglover64@gmail.com designates 209.85.214.43 as permitted sender) smtp.mail=rpglover64@gmail.com; dkim=pass (test mode) header.i=@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: List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=0003255593be4b7eab04a524ae45 --0003255593be4b7eab04a524ae45 Content-Type: text/plain; charset=ISO-8859-1 I'm "studying" category theory (la .cev. a'o mi sidju). More precisely, I'm sitting in a seminar with some friends of mine who have a slightly firmer grasp of the material and going through a textbook. I'm wondering how one would have gone about coming up with the vocabulary for category theory in lojban (alternatively, but not quite equivalently, how one would translate the English terms to lojban, preserving some important properties of the words). Some of the terms (e.g. "product", "sum") have precise and well-defined meanings that are the same as other branches of mathematics, but more general than the homonyms defined over numbers. The difficulty in these terms is not specific to category theory, and probably just requires someone (or a group of someones) with an intimate knowledge of many branches of mathematics to come up with good (or good enough, or standard) lojban words for the generic concepts. The difficulty lies in these other two classes of terms: The terms in the first class are semantically mnemonic and metaphorical, but precise (so pe'a and -pev- are not quite what's desired), two good examples of which are "tree" and "tournament" from graph theory. The second class consists of terms that are morphologically mnemonic (e.g. "functor", "epimorphism"/"epic morphism", "monomorphism"/"monic morphism", "endomorphism", "equalizer"). How would one (or the community) go about coining words for these terms? They don't seem to deserve their own gismu; it seems like any lujvo they are given will either take up space that is more useful for something else, isn't mnemonic (which can be very important), or is too long to be useful; it seems like using fu'ivla depends unnecessarily on another language and is opaque to a hypothetical lojban only speaker. Perhaps lujvo and corresponding zi'evla for frequent use? -- mu'o mi'e .arpis. -- 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. --0003255593be4b7eab04a524ae45 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I'm "studying" category theory (la .cev. a'o mi sidju). M= ore precisely, I'm sitting in a seminar with some friends of mine who h= ave a slightly firmer grasp of the material and going through a textbook.
I'm wondering how one would have gone about coming up with the voca= bulary for category theory in lojban (alternatively, but not quite equivale= ntly, how one would translate the English terms to lojban, preserving some = important properties of the words).

Some of the terms (e.g. "product", "sum") have prec= ise and well-defined meanings that are the same as other branches of mathem= atics, but more general than the homonyms defined over numbers. The difficu= lty in these terms is not specific to category theory, and probably just re= quires someone (or a group of someones) with an intimate knowledge of many = branches of mathematics to come up with good (or good enough, or standard) = lojban words for the generic concepts.

The difficulty lies in these other two classes of terms:

The ter= ms in the first class are semantically mnemonic and metaphorical, but preci= se (so pe'a and -pev- are not quite what's desired), two good examp= les of which are "tree" and "tournament" from graph the= ory.

The second class consists of terms that are morphologically mnemonic (e= .g. "functor", "epimorphism"/"epic morphism",= "monomorphism"/"monic morphism", "endomorphism&qu= ot;, "equalizer").

How would one (or the community) go about coining words for these terms= ? They don't seem to deserve their own gismu; it seems like any lujvo t= hey are given will either take up space that is more useful for something e= lse, isn't mnemonic (which can be very important), or is too long to be= useful; it seems like using fu'ivla depends unnecessarily on another l= anguage and is opaque to a hypothetical lojban only speaker. Perhaps lujvo = and corresponding zi'evla for frequent use?

--
mu'o mi'e .arpis.

--
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/lojban= ?hl=3Den.
--0003255593be4b7eab04a524ae45--