Hyporeductive and Pseudoreductive Hopf algebras

In his generalization of reductive homogeneous spaces, Lev Sabinin showed that Lie's fundamental theorems hold for local analytic hyporeductive and pseudoreductive loops. We derive Sabinin's results in an algebraic context in terms of non-associative Hopf algebras that satisfy the analog of the hyporeductive and pseudoreductive identities for loops.