vertical_2cat,vertical_2cat_label,horizontal_2cat,horizontal_2cat_label,2cells_hr
Prof,Prof,Cat,Cat,natural transformations
Lex,Lex,Topos,Topos,natural transformations
Rel,Rel,Set,Set,subrelation inclusions