{"name": {"value": "TracedSymmMonCat", "label": "TracedSymmMonCat"}, "is_strict": 0, "transformations_hr": "natural transformations"}