sentence1: for any commutative unital ring k and k-linear symmetric monoidal category c , one can define a lie algebra as follows .
sentence2: one can define the notion of universal enveloping algebra of a lie algebra in any symmetric monoidal category c via a universal property as follows .