vertical_2cat,horizontal_2cat,2cells_hr,kind
Lex,Topos,natural transformations,plain
Prof,Cat,natural transformations,plain