Diagonal_morphism loading ...