{"name": {"value": "Span(Grpd)", "label": "Span(Grpd)"}, "is_strict": 0, "transformations_hr": "pullbacks of spans"}