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