Abel群の圏
Abel群全体の圏を$ \mathbf{Ab} と書く
対象はAbel群
射はAbel群準同型
群の圏の充満部分圏
可換性は射の性質ではないので