diagonal morphism