name,is_strict,transformations_hr Ho(Cat),0,natural transformations