いや
群の圏=〜〜を満たす圏
みたいに圏論の言語のみによって特徴付けができないといけないんじゃないかな