I understand that the category
is not inherited to factor structures, of which I think the universal
enveloping algebra of a Lie algebra is an example. The URL for
finitely presented algebras seems to be under construction.
My question: is there nevertheless an analogue of
for u.e.algebras (which should use the PBW-basis)?