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