vertical_2cat,vertical_2cat_label,horizontal_2cat,horizontal_2cat_label,2cells_hr
Prof,Prof,Cat,Cat,natural transformations