16ページ 群の圏 18ページ モノイドの圏 前順序の圏 19ページ 双対圏 16ページ 群の圏 群も圏になる 整数の群を例として考える 対象： 射： 合成：との足し算（） 恒等射：群における単位元（今回の場合は0）圏の結合法則が満たされるのは群の結合法則から明…