category,homs
Rel,SupLat