Do you know the paper http://www-irma.u-strasbg.fr/~loday/PAPERS/LodayPirashvili1998.pdf ? They discuss what, in their opinion, should replace the notion of a Hopf algebra in Leibniz setting, "Hopf algebras in the category of linear maps".

Do you know the paper of Loday and Pirashvili? They discuss what, in their opinion, should replace the notion of a Hopf algebra in Leibniz setting, "Hopf algebras in the category of linear maps".