群の圏
群
全体の圏を
$ \mathbf{Grp}
と書く
対象は群
射は群準同型
具体圏
モノイドの圏
の
充満部分圏
積が保存されれば、自動的に逆元も保存
群それぞれを圏とみなしたとき
自然変換
$ α\colon \mathrm{Id}_G \Rightarrow \mathrm{Id}_G
全体は
正規部分群