subcategory,supercategory,kind
LieAlg_k,Vect_k,Lie algebras
LieRing,Ab,Lie algebras
SLieAlg_k,SSet,Lie algebras
SupLieAlg_k,SupVect_k,Lie algebras