圏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の同型射は群準同型写像
関連
圏Mon
圏FinGrp
圏Grpd
調査用
Google.icon
圏Grp(日)
Google.icon
Category of Grp(英)