category,homs
CompLat,2