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