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