category,homs
SSet,SSet