Dimonoids and bar-units. (Q5963437)

The algebra \((D;\dashv,\vdash)\) is called a \(g\)-dimonoid if it satisfies the following identities: \[ (x\dashv y)\dashv z=x\dashv(y\dashv z),\qquad (x\dashv y)\dashv z=x\dashv(y\vdash z), \] \[ (x\dashv y)\vdash z=x\vdash(y\vdash z),\qquad (x\vdash y)\vdash z=x\vdash(y\vdash z). \] The \(g\)-dimonoid \((D;\dashv,\vdash)\) is called a dimonoid, if it satisfies the following additional identity \((x\vdash y)\dashv z=x\vdash(y\dashv z)\). An element \(e\) of a dimonoid \((D;\dashv,\vdash)\) is called a bar-unit if \(x\dashv e=x=e\vdash x\) for every \(x\in D\). This article studies the questions of adjoining bar-units to the dimonoids of a given class and embedding dimonoids into dimonoids with bar-units.