Added an abstract PBW theorem due to Dotsenko and Tamaroff.

]]>I added the remark that PBW holds in the general context of $k$-linear tensor categories, with a reference.

]]>Where can one find such a proof ?

]]>Jim: Coalgebra structure on universal enveloping algebra is, of course, described *in detail* at universal enveloping algebra, no need to repeat it here.

Thanks Zoran! I have edited a little more.

]]>New entry PBW theorem and stub primitive element. Related new stubs filtered ring and associated graded ring with redirects filtered algebra, associated graded algebra.

]]>