diagonal morphisms