a group as a category