リー群
リー群からリー代数への写像は[[関手]]的である。これはリー群の準同型がリー代数の準同型に持ち上がることを意味し、様々な性質がこの持ち上げによって満たされる。合成と可換であり、リー群の部分リー群、核、商、余核をそれぞれリー代数の部分代数、核、商、余核に写す。