vertical_2cat,horizontal_2cat,2cells_hr,kind
Set,Pfn,equivalences of restricted arrows,total restriction
Top,AdmRep,equivalences of restricted arrows,total restriction