Fig. 8From: A unified representation and transformation of multi-model data using category theoryPart of instance category \({\mathbf {I}}\) after the insertion of single OrderBack to article page