name,is_strict,transformations_hr RCat,0,natural transformations