Lie algebra
李代數：將每個實（複）李群映射至其實（複）李代數可定義出一函子。