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