圏論の群論への応用って例えば何ですか