vertical_2cat,vertical_2cat_label,horizontal_2cat,horizontal_2cat_label,2cells_hr
Lex,Lex,Topos,Topos,natural transformations