{"name": {"value": "Ho(Cat)", "label": "Ho(Cat)"}, "is_strict": 0, "transformations_hr": "natural transformations"}