Lie group
リー群の定義を圏論の言葉で述べれば、リー群とは可微分多様体の圏の群対象のことであるということができる。