category,homs
FinGrp,Set*