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
Discussion of "kei'au"
[parent] [root]
Comment #1: Generalization
Curtis W Franks (Sun Dec 26 19:19:34 2021)

This actually should operate on spaces and should create a new space.
Closure of a space under the relevant operator means that the space
contains the resultant space and that the operator at least makes sense
for the elements of the domain (meaning that the domain spaces are
subspaces of a larger space which is endowed with the relevant operator).
Commutativity depends on the relevant domain and operator.

The tensor product (te'oi'i) of vector spaces (producing a new tensor
space) is of this form.

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?