Examples of Yang-Baxter monoids Then we say that an algebra $(X,f,g,\circ,1)$ is a Yang-Baxter monoid if it satisfies the following identities:


*

*$(X,\circ,1)$ is a monoid,

*$f(x,1)=1,f(1,x)=x,g(x,1)=x,g(1,x)=1$

*$x\circ y=f(x,y)\circ g(x,y)$

*$g(x,y\circ z)=g(g(x,y),z)$

*$f(x\circ y,z)=f(x,f(y,z))$

*$f(x,y\circ z)=f(x,y)\circ f(g(x,y),z)$

*$g(x\circ y,z)=g(x,f(y,z))\circ g(y,z)$,

*$g(f(x,y),f(g(x,y),z))=f(g(x,f(y,z)),g(y,z))$.
Suppose that $T:X^{2}\rightarrow X^{2}$ is a function. Then we say that $T$ satisfies the Yang-Baxter equations if
$(T\times 1_{X})\circ(1_{X}\times T)\circ(T\times 1_{X})=(1_{X}\times T)\circ(T\times 1_{X})\circ(1_{X}\times T)$.
If $(X,f,g,\circ,1)$ is a Yang-Baxter monoid and $T:X^{2}\rightarrow X^{2},T(x,y)=(f(x,y),g(x,y))$, then $T$ automatically satisfies the Yang-Baxter equations.
An LD-monoid is an algebra $(X,*,\circ,1)$ that satisfies the identities


*

*$(X,\circ,1)$ is a monoid,

*$x\circ y=(x*y)\circ x$,

*$x*(y\circ z)=(x*y)\circ (x*z)$,

*$x*(y*z)=(x\circ y)*z$,

*$x*(y*z)=(x*y)*(x*z)$.

*$x*1=1,1*x=x$.
For example, let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$ and let
$*$ be the operation on $\mathcal{E}_{\lambda}$ defined by $j*k=\bigcup_{\alpha<\lambda}j(k|_{V_{\alpha}})$. Then $(\mathcal{E}_{\lambda},*,\circ,1)$ is an LD-monoid. If $(G,\circ,1)$ is a group and $x*y=xyx^{-1}$, then $(G,*,\circ,1)$ is always an LD-monoid. Suppose that $(X,\circ,1)$ is a monoid, $*$ is a binary operation, and $f(x,y)=x*y,g(x,y)=x$. If $f(x,y)=x*y,g(x,y)=x$, then $(X,*,\circ,1)$ is an LD-monoid precisely when $(X,f,g,\circ,1)$ is a Yang-Baxter monoid.
The motivation for identities 1-8 comes from the notion of a permutative Yang-Baxter monoid which satisfies these identities.
What are some examples of Yang-Baxter monoids that do not trivially arise from LD-monoids? Are there any references for the notion of a Yang-Baxter monoid anywhere?
The closest thing that I found to the notion of a Yang-Baxter monoid is known as the structure group of a solution to the Yang-Baxter equation. The structure group of a function $T:X^{2}\rightarrow X^{2}$ that satisfies the Yang-Baxter equation is the group with a presentation consisting of the relations
$xy=uv$ whenever $T(x,y)=(u,v)$ which is a version of property 3.
 A: What about using the theory of braces? A skew brace is a triple $(A,+,\circ)$, where $(A,+)$ and $(A,\circ)$ are groups and $a\circ (b+c)=a\circ b-a+a\circ c$ holds for all $a,b,c\in A$. Notation: If $a\in A$, then $a'$ denotes the inverse of $a$ with respect to the circle operation $\circ$. 
Facts: Let $A$ be a skew brace.


*

*The map $\lambda\colon
    (A,\circ)\to\mathrm{Aut}(A,+)$, $a\mapsto \lambda_a$, where
$\lambda_a(b)=-a+a\circ b$, is a group homomorphism.

*The map $r\colon A\times A\to A\times A$, $r_A(a,b)=(\lambda_a(b),\lambda_a(b)'\circ a\circ b)$, is a solution. Moreover, $r^2=\mathrm{id}_{A\times A}$ if and only if $(A,+)$ is abelian. 


Skew braces were the group $(A,+)$ is abelian were first considered by Rump to study involutive solutions to the Yang-Baxter equation:


*

*Rump, Wolfgang. Braces, radical rings, and the quantum Yang-Baxter equation. J. Algebra 307 (2007), no. 1, 153-170. link
Examples:


*

*Radical rings are examples of skew braces where the group $(A,+)$ is
abelian. (A radical ring is a ring $A$ such that the operation
$x\circ y=x+xy+y$ turns $A$ into a group. This, in particular,
implies that radical rings produce solutions to the Yang-Baxter
equation.)

*The structure group $G(X,r)$ of a non-degenerate solution $(X,r)$ is another example of a skew brace. (Non-degenerate means that you can write your solution $r$ as $r(x,y)=\sigma_x(y),\tau_y(x))$ for permutations $\sigma_x,\tau_x\colon X\to X$.) As you mentioned, the structure group is defined as the group $G(X,r)$ with
generators $x\in X$ and relations $x\circ y=u\circ v$ whenever $r(x,y)=(u,v)$.


The following fact holds and it could be useful to address your question: If $(X,r)$ is non-degenerate solution, there exists a unique skew brace structure on the group $G(X,r)$ such that
$r_{G(X,r)}(\iota\times\iota)=(\iota\times\iota)r$, where $\iota\colon X\to G(X,r)$ is the canonical map (which is general is not injective).
