cogroup (group + co-; together_joint)
The dual of a group