from 集合の圏Set

群全体の圏\mathrm{Grp}

対象は全ての群

↓は群圏と群の圏が混じっているので直す

任意の射が可逆

対象: 群

射: 群準同型

同型射: 群同型写像

一つの群を圏として考えると射の集まり\mathscr{A}(A, A)が群になる

このノートに書くべきかどうかはわからん ref p.17

射が元！

参考