  We develop versions of the Poincar\'e-Birkhoff-Witt and Cartier-Milnor-Moore
theorems in the setting of braided Hopf algebras. To do so, we introduce new
analogues of a Lie algebra in the setting of a braided monoidal category, using
the notion of a braided operad.
