category,homs
Grp,Set*