category,category_label,op,op_label
1,1,1,1
CompBoolAlg,CompBoolAlg,FinSet,FinSet
Frm,Frm,Loc,Loc
Hilb,Hilb,Hilb,Hilb
Perm,Perm,Perm,Perm
Prof,Prof,Prof,Prof
Rel,Rel,Rel,Rel
Span(Set),Span(Set),Span(Set),Span(Set)
nCob,nCob,nCob,nCob