>>514
>「群をわざわざ圏まで抽象する必要性は何か？」

抽象化の利点が得られる。
例えば群論に圏論を応用しやすくなる。