{"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"}