how does group theory relate with category theory?