{"vertical_2cat": "Lex", "horizontal_2cat": "Topos", "2cells_hr": "natural transformations", "kind": "plain"}
{"vertical_2cat": "Prof", "horizontal_2cat": "Cat", "2cells_hr": "natural transformations", "kind": "plain"}
{"vertical_2cat": "Rel", "horizontal_2cat": "Set", "2cells_hr": "subrelation inclusions", "kind": "plain"}
{"vertical_2cat": "Set", "horizontal_2cat": "Pfn", "2cells_hr": "equivalences of restricted arrows", "kind": "total restriction"}
{"vertical_2cat": "Top", "horizontal_2cat": "AdmRep", "2cells_hr": "equivalences of restricted arrows", "kind": "total restriction"}