Category of quadratic Lie algebras

The category of quadratic Lie algebras is a category where an object is a Quadratic Lie algebra over and a morphism is a isometric Lie algebra homomorphism. #m/def/lie Thus if then

for any .

#state/tidy | #lang/en | #SemBr