{"vertical_2cat": {"value": "Lex", "label": "Lex"}, "horizontal_2cat": {"value": "Topos", "label": "Topos"}, "2cells_hr": "natural transformations"}
{"vertical_2cat": {"value": "Prof", "label": "Prof"}, "horizontal_2cat": {"value": "Cat", "label": "Cat"}, "2cells_hr": "natural transformations"}
{"vertical_2cat": {"value": "Rel", "label": "Rel"}, "horizontal_2cat": {"value": "Set", "label": "Set"}, "2cells_hr": "subrelation inclusions"}