圏Grp
群
の
圏
対象は群で、射は群準同型写像。
同型射
は
群同型写像
同型射
$ f : A \to B
があるとは、圏の同型射の定義より、
$ g : B \to A
という射が存在し,
$ g \circ f = 1_A
かつ
$ f \circ g = 1_B
であること。
大きな圏
$ \begin{matrix} 対象 & 群 \\ 射 \\ 同型射 & 群同型写像 \\ 合成 & 積 \\ 恒等射\end{matrix}
確認用
Q. 圏Grp
参考
/mrsekut-p/群の圏Grp
Grp in nLab
/category/圏Grpの同型射は群準同型写像
関連