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