The embedding of initial algebras into dialgebras
Abstract: In this paper, for a given variety $\Var$, we present a universal algorithm that constructs a subvariety of $\Var$-dialgebras from which one can recover an algebra belonging to $\Var$. We call such a variety an initial $\Var$-dialgebra. In addition, we construct the basis of the free initial Lie and associative dialgebras.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.