We present a new approach to ternary Boolean algebras in which negation is derived from the ternary operation. The key aspect is the replacement of complete commutativity by other axioms that do not require the ternary operation to be symmetric.
The category of mobi algebras has been introduced as a model to the unit interval of real numbers. The notion of mobi space over a mobi algebra has been proposed as a model for spaces with geodesic paths. In this paper we analyse the particular case
of affine mobi spaces and show that there is an isomorphism of categories between R-modules and pointed affine mobi spaces over a mobi algebra R as soon as R is a unitary ring in which 2 is an invertible element.
We introduce an algebraic system which can be used as a model for spaces with geodesic paths between any two of their points. This new algebraic structure is based on the notion of mobility algebra which has recently been introduced as a model for th
e unit interval of real numbers. We show that there is a strong connection between modules over a ring and affine mobility spaces over a mobility algebra. However, geodesics in general fail to be affine thus giving rise to the new algebraic structure of mobility space. We show that the so called formula for spherical linear interpolation, which gives geodesics on the n-sphere, is an example of a mobility space over the unit interval mobility algebra.
We introduce an algebraic system which can be used as a model for spaces with geodesic paths between any two of their points. This new algebraic structure is based on the notion of mobility algebra which has recently been introduced as a model for th
e unit interval of real numbers. Mobility algebras consist on a set $A$ together with three constants and a ternary operation. In the case of the closed unit interval $A=[0,1]$, the three constants are 0, 1 and 1/2 while the ternary operation is $p(x,y,z)=x-yx+yz$. A mobility space is a set $X$ together with a map $qcolon{Xtimes Atimes Xto X}$ with the meaning that $q(x,t,y)$ indicates the position of a particle moving from point $x$ to point $y$ at the instant $tin A$, along a geodesic path within the space $X$. A mobility space is thus defined with respect to a mobility algebra, in the same way as a module is defined over a ring. We introduce the axioms for mobility spaces, investigate the main properties and give examples. We also establish the connection between the algebraic context and the one of spaces with geodesic paths. The connection with affine spaces is briefly mentioned.
We begin by introducing an algebraic structure with three constants and one ternary operation to which we call mobi algebra. This structure has been designed to capture the most relevant properties of the unit interval that are needed in the study of
geodesic paths. Another algebraic structure, called involutive medial monoid (IMM), can be derived from a mobi algebra. We prove several results on the interplay between mobi algebras, IMM algebras and unitary rings. It turns out that every unitary ring with one half uniquely determines and is uniquely determined by a mobi algebra with one double. This paper is the second of a planned series of papers dedicated to the study of geodesic paths from an algebraic point of view.
