圏論のことばでは,集合をで生成された自由リー環に送る関手は集合の圏からリー環の圏へのである.つまり,の左随伴である.