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