{"vertical_2cat": "Lex", "horizontal_2cat": "Topos", "2cells_hr": "natural transformations", "kind": "plain"}
{"vertical_2cat": "Prof", "horizontal_2cat": "Cat", "2cells_hr": "natural transformations", "kind": "plain"}