groupoid,category
SymmRel,Rel