群の圏Grp
from
集合の圏Set
群全体の圏
$ \mathrm{Grp}
対象は全ての
群
↓は群圏と群の圏が混じっているので直す
mrsekut.icon
任意の射が可逆
圏
対象: 群
射:
群準同型
同型射
:
群同型写像
一つの
群
を圏として考えると射の集まり
$ \mathscr{A}(A, A)
が群になる
このノートに書くべきかどうかはわからん ref
ベシ圏.icon
p.17
table:対応
対象 ？
射の集まり 群
射 元
合成 積
恒等射 単位元
射が元！
参考
https://home.naughie.net/advent/2018/math.html#群の定義-definition-of-groups
https://ja.wikipedia.org/wiki/群の圏
/dragoon8192-main/群
/dragoon8192-main/群の圏
/dragoon8192-main/群対象