a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record

This is a "best guess" listing for the word "facni" in language English, meaning that only one of the definitions for this word will be shown (the one with the highest total votes). See all the definitions for facni.

Back to the main valsi listing.
valsi facni
type experimental gismu
creator krtisfranks
time entered Wed Feb 22 20:13:45 2017

Definition #69387 - Preferred [edit]
definition x1 is an n-ary operator/map which is distributive/linear/homomorphic in or over or from space/structure x2, mapping to space or structure x3, thereby producing a new space/structure x4 which is the 'union' of x2 and x3 endowed with x1; x1 distributes over/through all of the operators of x2.
notes x2 and x3 cannot merely be sets; they must be structures/systems which each are a set/category endowed with at least one operator/relation/property (here, "operator" will refer to any of these options) each; the ith operator endowing one space corresponds to exactly the ith operator endowing the other space under mapping x1. For any operator of x2, x1 is commutative with it with respect to functional composition (fa'ai) when the (other) operator is 'translated' to the corresponding operator of x3 appropriately. x1 is linear/a linear operator; x1 is a homomorphism; x1 distributes. x2 is homomorphic with x3 under x1; they need not be identical (in fact, their respective operators need not even be identical, just 'homomorphically similar'). For "distributivity"/"distributive property", "linearity of operator", or "homomorphicity of operator", use "ka(m)( )facni" with x1 filled with "ce'u"; for "homomorphicity of spaces", use the same thing, but with x2 or x3 filled with "ce'u". See also: "socni", "cajni", "sezni", "dukni"; "fa'ai"; "fatri". This is a structure-operator-preserving function, and thus is an example of a stodraunju.
gloss words
created by krtisfranks
vote information 1
time Fri Aug 12 17:55:36 2022


krtisfranks{fatri}/"-fai-" + {fa'ai} + {ckini}.[edit]
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?