>>286
分かってないようだな
一個の群だけで圏になっている。
群=対象が一個ですべての射が同型になっている圏
圏論の言葉だけで特徴付けられてるだろ。