subcategory,parent
Δ,Pos
SemiLat,Pos
Lat,Pos
HeytAlg,Pos
DCPO,Pos