{"vertical_2cat": {"value": "Lex", "label": "Lex"}, "horizontal_2cat": {"value": "Topos", "label": "Topos"}, "2cells_hr": "natural transformations"}