Cancellative conjugation semigroups and monoids (Q2182457)

A \textit{conjugation semigroup} \((S, +,\overline{()})\) is defined as a semigroup \((S,+)\) equipped with a unary operation \(\overline{()}\) such that the following identities are satisfied: \begin{itemize} \item[1)] \(\overline{x}+x =x+\overline{x}\), \item[2)] \(x+\overline{y}+y=y+\overline{y}+x\), \item[3)] \(\overline{x+y}=\overline{y}+\overline{x}\). \end{itemize} Let \(A \xrightarrow{f} B\xleftarrow{g} C\) and \(A\xleftarrow{r} B\xrightarrow{s} C\) together with homomorphisms \(\alpha: A\to D\), \(\beta:B\to D\), \(\gamma: C\to D\) be a diagram such that \(fr=1_B=gs\) and \(\alpha r=\beta=\gamma s\). Then this diagram is called \textit{admissible} if there exists a unique morphism \(\varphi: A\times_B C\to D\) such that \(\varphi e_1=\alpha\) and \(\varphi e_2=\beta\), where \(e_1=\langle 1_A, sf\rangle\) and \(e_2=\langle rg, 1_C\rangle\). A finitely complete category \(\mathcal C\) is called \textit{weakly Mal'tsev} if the morphisms \(e_1\) and \(e_2\) are jointly epimorphic. A split epimorphism \((f,r)\), \(f: A\to B\), \(fr=1_B,\) is called a \textit{Schreier split epimorphism} if there exists a unique set-theoretical map \(q: A\to X\) (\(X\) -- the kernel of \(f\)) such that, for every \(a\in A\), \(a=kq(a)+rf(a)\), where \(k: X\to A\) is the kernel morphism. Admissible diagrams in the category \(\mathcal S\) of cancelative conjugation semigroups as well as Schreier split epimorphisms in the category \(\mathcal M\) of cancellative conjugation monoids are described. The category \(\mathcal S\) turnes out to be weakly Mal'tsev. Conditions are found under which for a given Schreier split epimorphism, a morphism \(X\to B\) induces a reflexive graph, an internal category or an internal groupoid. Two Schreier equivalence relations on an object in \(\mathcal M\) commute if and only if their normalizations commute.