category,homs
Rel,Pos
Rel,SupLat