name,name_label,is_strict,transformations_hr
Span(Grpd),Span(Grpd),0,pullbacks of spans