Category of Lie algebras

Let $𝕂$ be a field. The category of Lie algebras $𝖫 𝗂 𝖾 𝕂$ is a category where an object is a Lie algebra over $𝕂$ and a morphism is a Lie algebra homomorphism. #m/def/lie It is a full subcategory of $𝖠 𝗅 𝗀 𝕂$

#state/develop | #lang/en | #SemBr