Let ${\mathfrak g}$ be a Lie algebra in a symmetric monoidal category enriched over $K$-vector spaces, i.e., in particular, hom-s are $K$-vector spaces (where $K$ is a field of characteristic zero). What is its universal enveloping algebra?
As one can talk about associative and Lie algebras there, I can imagine the definition in terms of the universal property but I am interested in its existence, a construction, if you may. Completing the category with infinite appropriately (direct sums and direct summands) could give familiar tensor and symmetric algebras $T({\mathfrak g})$ and $S({\mathfrak g})$ (i.e. they are objects in a certain completion of the original category). Is there a way to quotient $T({\mathfrak g})$ or to deform $S({\mathfrak g})$ at this point?
