name,name_label,is_strict,transformations_hr SymmMonCat,SymmMonCat,0,natural transformations