La composición de tales homomorfismos es otra vez un homomorfismo, y las álgebras de Lie sobre el cuerpo formula_2, junto con estos [[morfismo]]s, forman una [[Teoría de las categorías|categoría]].