>>484
それなら、 「群をわざわざ圏まで抽象する必要性は何か?」 という問いに答えるべき