Fig. 17From: A unified representation and transformation of multi-model data using category theoryJoining of intermediate results by pullbacksBack to article page